efd40e7 | Mohamed Barakat | 14 April 2019, 11:15:39 UTC | d&i RingMapOntoRewrittenResidueClassRing | 14 April 2019, 11:17:13 UTC |
430f7ce | Mohamed Barakat | 12 April 2019, 19:04:40 UTC | relaxed Eliminate for IsHomalgMatrix as we know assume that Indeterminates( R ) can be determined | 12 April 2019, 19:04:40 UTC |
480fdd5 | Mohamed Barakat | 12 April 2019, 18:45:47 UTC | d&i HomalgFieldOfRationalsInUnderlyingCAS | 12 April 2019, 18:45:47 UTC |
a6ba62e | Mohamed Barakat | 12 April 2019, 15:15:23 UTC | enhanced AffineDegree in case the coefficients ring is Z | 12 April 2019, 15:38:59 UTC |
950ba42 | Mohamed Barakat | 12 April 2019, 14:02:57 UTC | GeneratorsOfKernelOfRingMap now returns a BasisOfRows | 12 April 2019, 14:02:57 UTC |
010a6e0 | Mohamed Barakat | 12 April 2019, 13:50:58 UTC | relaxed Pullback( ring_map, matrix ) such that HomalgRing( matrix ) is either Source( ring_map ) or AmbientRing( Source( ring_map ) ) | 12 April 2019, 13:50:58 UTC |
914b408 | Mohamed Barakat | 11 April 2019, 14:03:34 UTC | added RadicalSubobject to homalgTable of Q | 11 April 2019, 14:07:54 UTC |
fa82b7b | Mohamed Barakat | 11 April 2019, 09:23:46 UTC | rewrote PolynomialRingWithProductOrdering as we now assume that every homalg ring can determine its CoefficientsRing & BaseRing | 11 April 2019, 13:08:31 UTC |
e9d8657 | Mohamed Barakat | 11 April 2019, 09:20:49 UTC | installed BaseRing for IsFieldForHomalg & IsIntegersForHomalg | 11 April 2019, 13:08:16 UTC |
8609df6 | Mohamed Barakat | 11 April 2019, 09:17:02 UTC | PolynomialsWithoutRelativeIndeterminates now works in nonrelative cases | 11 April 2019, 13:05:15 UTC |
b1dea78 | Mohamed Barakat | 11 April 2019, 09:11:59 UTC | avoid infinite loops in GradedRing in case R = CoefficientsRing( R ) or R = BaseRing( R ) | 11 April 2019, 13:05:15 UTC |
01bdebf | Mohamed Barakat | 10 April 2019, 17:52:09 UTC | outsourced main code of KernelSubobject for ring maps to MatricesForHomalg under the name GeneratorsOfKernelOfRingMap and used it to simplify and unify the code of KernelSubobject for ring maps | 11 April 2019, 13:05:00 UTC |
1084c4d | Mohamed Barakat | 11 April 2019, 12:57:32 UTC | outsourced methods for ideals to MatricesForHomalg outsourced the code for * IntersectWithSubalgebra * MaximalIndependentSet * AMaximalIdealContaining from Modules to MatricesForHomalg and simplified the corresponding methods in Modules using the new corresponding matrix methods | 11 April 2019, 13:03:50 UTC |
e7e5215 | Mohamed Barakat | 11 April 2019, 12:56:47 UTC | whitespace | 11 April 2019, 13:00:40 UTC |
5a3e4b5 | Mohamed Barakat | 10 April 2019, 08:35:42 UTC | outsourced more matrix methods to MatricesForHomalg to be accessible from CAP's additive categories of rows without a dependency on Modules the remaining dependency on LeftPresentation in AffineDimension for IsIntegersForHomalg was resolved by calling direct matrix algorithms complete diff: 1164c1164 < M := LeftPresentation( M ); --- > M := BasisOfRowModule( M ); 1166c1166 < if IsZero( M ) then --- > if IsZero( DecideZero( HomalgIdentityMatrix( NrColumns( M ), R ), M ) ) then 1168c1168 < elif RankOfObject( M ) = 0 then --- > elif NrColumns( M ) - NrRows( M ) = 0 then 1224c1224 < M := LeftPresentation( M ); --- > M := BasisOfRowModule( M ); 1226c1226 < if IsZero( M ) then --- > if IsZero( DecideZero( HomalgIdentityMatrix( NrColumns( M ), R ), M ) ) then 1228c1228 < elif RankOfObject( M ) = 0 then --- > elif NrColumns( M ) - NrRows( M ) = 0 then 1568c1568 < local t, H, numer, denom, range, ldeg, hdeg, s, power, F, l, i; --- > local t, H, numer, denom, range, ldeg, hdeg, s, power, q, F, l, i; 1607,1608c1607,1609 < numer := CreatePolynomialModuloSomePower( numer, hdeg - power ); < denom := CreatePolynomialModuloSomePower( denom, hdeg - power ); --- > q := s^(hdeg - power); > numer := EuclideanRemainder( numer, q ); > denom := EuclideanRemainder( denom, q ); 1610c1611 < F := numer * denom^-1; --- > F := numer * GcdRepresentation( denom, q )[1]; 1612c1613 < F := F!.polynomial * s^power; --- > F := EuclideanRemainder( F, q ) * s^power; | 10 April 2019, 12:51:55 UTC |
ab558e7 | Mohamed Barakat | 10 April 2019, 08:55:35 UTC | HOMALG_MODULES.variable_* -> HOMALG_MATRICES.variable_* | 10 April 2019, 09:10:43 UTC |
eef5553 | Mohamed Barakat | 10 April 2019, 08:24:28 UTC | HOMALG_MODULES.DimensionOfZeroModules -> HOMALG_MATRICES.DimensionOfZeroModules | 10 April 2019, 09:10:43 UTC |
753f5ec | Mohamed Barakat | 10 April 2019, 08:21:13 UTC | reinstalled LcmOp to avoid calling GcdOp the installation code is analagous to GcdOp | 10 April 2019, 09:10:43 UTC |
8eae30b | Mohamed Barakat | 10 April 2019, 08:18:59 UTC | installed GcdOp for two homalg ring elements this avoids using Gcd_UsingCayleyDeterminant in the Modules package | 10 April 2019, 09:10:43 UTC |
feafa61 | Mohamed Barakat | 10 April 2019, 08:05:57 UTC | installed CoefficientsRing for IsFieldForHomalg and IsIntegersForHomalg | 10 April 2019, 08:05:57 UTC |
aeec9fa | Mohamed Barakat | 05 April 2019, 10:20:42 UTC | d&i PreCompose for ring maps | 05 April 2019, 10:20:42 UTC |
31ee681 | Mohamed Barakat | 03 April 2019, 10:54:39 UTC | ImagesOfRingMap, ImagesOfRingMapAsColumnMatrix, DataOfCoordinateRingOfGraph are now attributes | 03 April 2019, 11:20:31 UTC |
9778d26 | Mohamed Barakat | 03 April 2019, 10:58:25 UTC | deleted obsolete method for ImagesOfRingMap | 03 April 2019, 11:01:29 UTC |
3eb9379 | Mohamed Barakat | 30 March 2019, 16:39:05 UTC | installed BaseRing and RelativeIndeterminatesOfPolynomialRing for nonrelative rings | 30 March 2019, 16:39:05 UTC |
3e0ce4e | Mohamed Barakat | 30 March 2019, 16:38:12 UTC | installed Indeterminates for IsIntegersForHomalg | 30 March 2019, 16:38:12 UTC |
562d951 | Mohamed Barakat | 30 March 2019, 16:34:40 UTC | also SetPolynomialRingWithDegRevLexOrdering in nonrelative case | 30 March 2019, 16:34:40 UTC |
7f90e62 | Mohamed Barakat | 30 March 2019, 15:56:03 UTC | support RadicalSubobject_Z and RadicalDecomposition_Z for Singular | 30 March 2019, 15:56:03 UTC |
bc4ef74 | Mohamed Barakat | 30 March 2019, 15:55:09 UTC | unbind RP!.MaximalDegreePart in Singular when the coefficients ring is Z | 30 March 2019, 15:55:09 UTC |
b8aca8f | Mohamed Barakat | 30 March 2019, 15:51:40 UTC | unbind RP!.CoefficientsOfUnreducedNumeratorOfWeightedHilbertPoincareSeries in Singular when the coefficients ring is Z | 30 March 2019, 15:51:40 UTC |
b982aa1 | Mohamed Barakat | 30 March 2019, 13:12:31 UTC | added RadicalDecomposition to the homalgTable of the integers | 30 March 2019, 13:12:31 UTC |
0961007 | Mohamed Barakat | 29 March 2019, 13:27:51 UTC | extended functionality of MatchPropertiesAndAttributes fixed recursion trap by extending functionality of MatchPropertiesAndAttributes to correctly handle intrinsic_attributes_do_not_check_their_equality | 29 March 2019, 13:27:51 UTC |
0b902be | Mohamed Barakat | 27 March 2019, 20:04:17 UTC | outsourced Diff to MatricesForHomalg & RingsForHomalg v2018.12.11 closes #246 | 27 March 2019, 20:22:09 UTC |
baf1d83 | Mohamed Barakat | 26 March 2019, 19:04:16 UTC | d&i TangentSpaceByEquationsAtPoint | 26 March 2019, 19:07:22 UTC |
99bb9ba | Mohamed Barakat | 25 March 2019, 16:32:47 UTC | Merge branch 'pr-224' into devel * pr-224: Updated adress, place,... of Martin Bies LaTeX command \text not supported by documentation builder -> Removed this command Added example to Divisors on polytope of toric divisor | 25 March 2019, 16:32:47 UTC |
163b2ed | Mohamed Barakat | 25 March 2019, 07:54:36 UTC | improved method for MaximalObjects | 25 March 2019, 07:54:36 UTC |
666fdef | Mohamed Barakat | 25 March 2019, 07:53:44 UTC | renamed local variable in MaximalObjects | 25 March 2019, 07:54:16 UTC |
f2538d9 | Mohamed Barakat | 25 March 2019, 07:27:58 UTC | bumped version | 25 March 2019, 07:29:20 UTC |
5b72e26 | Mohamed Barakat | 25 March 2019, 07:08:21 UTC | Merge branch 'pr-241' into devel * pr-241: Modifying the code for "IsMatrixOverGradedRingWithHomogeneousEntries" Simplifying the method of "HomogeneousPartOfMatrix", Adding a method and property | 25 March 2019, 07:08:21 UTC |
947f8fb | Mohamed Barakat | 24 March 2019, 22:15:05 UTC | d&i MaximalObjects | 24 March 2019, 22:15:05 UTC |
7aa77fd | Max Horn | 19 March 2019, 09:43:04 UTC | Clarify license is GPL2 *or later* | 24 March 2019, 11:41:55 UTC |
327d8f5 | Kamal Saleh | 23 March 2019, 14:17:36 UTC | Modifying the code for "IsMatrixOverGradedRingWithHomogeneousEntries" to use the property "IsHomogeneousRingElement" introduced in the second last commit. This is more efficient than comparing the matrix with a computed homogeneous part of it. | 23 March 2019, 15:37:54 UTC |
0772924 | Kamal Saleh | 23 March 2019, 14:12:07 UTC | Simplifying the method of "HomogeneousPartOfMatrix", to use the method "HomogeneousPartOfRingElement" introduced in the last commit. | 23 March 2019, 15:37:54 UTC |
fc0034c | Kamal Saleh | 23 March 2019, 14:02:47 UTC | Adding a method and property * HomogeneousPartOfRingElement( r, degree ), * IsHomogeneousRingElement( r ), where "r" is an element in a graded ring and "degree" is an element in the degree group of "r". Most of the code here is extracted from the method "HomogeneousPartOfMatrix". | 23 March 2019, 15:37:43 UTC |
9b01bdd | Mohamed Barakat | 22 March 2019, 21:26:23 UTC | d&i AppendNew | 22 March 2019, 21:26:23 UTC |
1fce8d3 | Mohamed Barakat | 22 March 2019, 08:05:42 UTC | all three types of ring now know each other | 22 March 2019, 08:05:42 UTC |
fe6c47d | Mohamed Barakat | 21 March 2019, 19:45:24 UTC | new component LIMAT.ShallowCopy_attributes moved some attributes from LIMAT.intrinsic_components -> LIMAT.ShallowCopy_attributes | 21 March 2019, 19:45:24 UTC |
6107769 | Mohamed Barakat | 21 March 2019, 18:09:17 UTC | fixed a bug in PolynomialRing for Singular | 21 March 2019, 18:09:17 UTC |
9e20f91 | Mohamed Barakat | 21 March 2019, 17:34:09 UTC | outsourced MaximalDegreePart to MatricesForHomalg enhanced it, and wrote a homalgTable entry for Singular together with a macro | 21 March 2019, 17:34:09 UTC |
e04ce72 | Sebastian Posur | 20 March 2019, 14:32:00 UTC | Bump version of GradedRingForHomalg | 20 March 2019, 14:32:00 UTC |
ac6059a | Sebastian Posur | 20 March 2019, 14:26:11 UTC | Implement test for homogeneity of entries of a homalg matrix over a graded ring. | 20 March 2019, 14:26:11 UTC |
381c9a1 | Mohamed Barakat | 18 March 2019, 17:06:17 UTC | declared and set PolynomialRingWithDegRevLexOrdering | 18 March 2019, 17:06:17 UTC |
c3800e8 | Mohamed Barakat | 18 March 2019, 17:06:10 UTC | whitespaces | 18 March 2019, 17:06:10 UTC |
da77fd7 | Mohamed Barakat | 17 March 2019, 20:16:24 UTC | no need to declare Size for IsHomalgRing | 17 March 2019, 20:16:24 UTC |
fd1bfab | Mohamed Barakat | 17 March 2019, 09:23:51 UTC | Merge branch 'pr-238' into devel * pr-238: Gauss/Makefile.in: remove unused GAPINCL | 17 March 2019, 09:23:51 UTC |
196b6e4 | Mohamed Barakat | 17 March 2019, 09:14:50 UTC | Merge branch 'pr-237' into devel * pr-237: Remove executable flag from a few files | 17 March 2019, 09:14:50 UTC |
441f4f7 | Max Horn | 15 March 2019, 13:55:58 UTC | Gauss/Makefile.in: remove unused GAPINCL | 15 March 2019, 13:55:58 UTC |
d218c99 | Max Horn | 15 March 2019, 13:54:59 UTC | Remove executable flag from a few files | 15 March 2019, 13:54:59 UTC |
43be612 | Mohamed Barakat | 10 March 2019, 11:23:08 UTC | d&i CoefficientsRing for homalg ring elements and Size for homalg rings | 10 March 2019, 11:23:08 UTC |
af55c8f | Mohamed Barakat | 09 March 2019, 17:22:05 UTC | d&i DecideZero for [ IsRingElement, IsHomalgRingElement ] | 09 March 2019, 17:22:05 UTC |
18d03d8 | Mohamed Barakat | 08 March 2019, 22:17:55 UTC | installed Diff for homalg ring elements | 08 March 2019, 22:35:13 UTC |
43ae4ef | Mohamed Barakat | 06 March 2019, 08:55:49 UTC | d&i MaximalDegreePart(OfColumnMatrix) | 06 March 2019, 08:55:49 UTC |
50ba657 | Mohamed Barakat | 06 March 2019, 08:55:13 UTC | adapt to coding style | 06 March 2019, 08:55:13 UTC |
96ad1df | Mohamed Barakat | 06 March 2019, 08:54:41 UTC | installed PolynomialsWithoutRelativeIndeterminates for IsMatrixOverGradedRing | 06 March 2019, 08:54:41 UTC |
60dcde1 | Mohamed Barakat | 05 March 2019, 13:35:04 UTC | added homalgTable entry RadicalSubobject for the ring of integers | 05 March 2019, 13:35:04 UTC |
afc2c83 | Mohamed Barakat | 05 March 2019, 12:52:35 UTC | Merge branch 'pr-222' into devel * pr-222: Adding a method HomogeneousPartOfMatrix( M, L ) | 05 March 2019, 12:52:35 UTC |
8414f8c | Mohamed Barakat | 05 March 2019, 08:59:03 UTC | declared IrrelevantIdealColumnMatrix for IsHomalgGradedRing | 05 March 2019, 08:59:03 UTC |
466f95a | Mohamed Barakat | 05 March 2019, 08:55:19 UTC | activated caching for MaxDimensional/RadicalSubobjectOp | 05 March 2019, 08:55:19 UTC |
f77b939 | Mohamed Barakat | 02 March 2019, 18:01:49 UTC | SetPolynomialRingWithProductOrdering( P, P ); | 02 March 2019, 18:01:49 UTC |
d42c007 | Mohamed Barakat | 02 March 2019, 18:00:39 UTC | d&i PolynomialsWithoutRelativeIndeterminates | 02 March 2019, 18:00:39 UTC |
266bcf8 | Markus Lange-Hegermann | 28 February 2019, 09:17:20 UTC | fixed order of indeterminates... ...for polynomial ring in Singular with block order This caused a bug in RingMaps Now, the term order is created such that the order of the indeterminates is as expected in homalg | 28 February 2019, 09:23:06 UTC |
981300d | Mohamed Barakat | 25 February 2019, 16:53:25 UTC | interface with more procedures from Singular's primdec_lib * MaxDimensionalRadicalSubobject -> equiRadical * RadicalSubobject -> radical * RadicalDecomposition -> minAssGTZ * MaxDimensionalSubobject -> equidimMax * EquiDimensionalDecomposition -> equidim | 25 February 2019, 17:34:43 UTC |
61e1072 | Mohamed Barakat | 25 February 2019, 16:49:44 UTC | relocated code | 25 February 2019, 16:51:31 UTC |
e6812ce | Kamal Saleh | 25 February 2019, 15:46:53 UTC | Adding a method HomogeneousPartOfMatrix( M, L ) for IsMatrixOverGradedRing and IsList the entry at position ij in the output matrix is the homogeneous part of m_ij of degree L[i][j] or zero. | 25 February 2019, 15:46:53 UTC |
782fea0 | Mohamed Barakat | 24 February 2019, 09:58:50 UTC | installed PolynomialRingWithProductOrdering for nonrelative rings | 25 February 2019, 14:19:42 UTC |
388488f | Mohamed Barakat | 24 February 2019, 09:58:33 UTC | corrected method string | 25 February 2019, 14:19:42 UTC |
6761b58 | Mohamed Barakat | 19 February 2019, 16:43:42 UTC | d&i StringToHomalgColumnMatrix | 25 February 2019, 14:19:41 UTC |
449f9e4 | Mohamed Barakat | 11 February 2019, 18:22:49 UTC | deleted unused DeclareSynonym ( "Reduce", DecideZero ) | 25 February 2019, 14:19:41 UTC |
cf522e1 | Mohamed Barakat | 22 December 2018, 16:50:12 UTC | added global functions for writing code from templates * ReplacedStringForHomalg * ReplacedFileForHomalg * EvalReplacedFileForHomalg * WriteReplacedFileForHomalg | 25 February 2019, 14:19:23 UTC |
79c0f55 | Mohamed Barakat | 30 November 2018, 14:26:26 UTC | replaced ApplyCommandToString -> ExecForHomalg the following functions now use ExecForHomalg instead of ApplyCommandToString * ShaSum * GetTimeOfDay | 30 January 2019, 13:05:17 UTC |
5cac708 | Mohamed Barakat | 26 November 2018, 09:33:24 UTC | fixed PolynomialRingWithLexicographicOrdering | 30 January 2019, 13:04:57 UTC |
e2f8e9f | Mohamed Barakat | 30 January 2019, 13:03:51 UTC | Merge pull request #227 from zickgraf/ci Improve CI | 30 January 2019, 13:03:51 UTC |
7043e2e | Fabian Zickgraf | 30 January 2019, 12:09:26 UTC | Add nightly tests to CI | 30 January 2019, 12:09:26 UTC |
756ccf7 | Fabian Zickgraf | 30 January 2019, 12:03:47 UTC | Display package loading info in CI | 30 January 2019, 12:03:47 UTC |
87ba22f | Fabian Zickgraf | 30 January 2019, 11:09:37 UTC | Fix tests with GAP 4.10 | 30 January 2019, 11:20:20 UTC |
c3c20a3 | Sebastian Gutsche | 16 January 2019, 15:09:10 UTC | Merge pull request #220 from fingolfin/mh/loadgap.h Simplify PolymakeInterface/src/loadgap.h | 16 January 2019, 15:09:10 UTC |
2959ef5 | Martin Bies | 15 January 2019, 19:52:47 UTC | Updated adress, place,... of Martin Bies | 15 January 2019, 19:52:47 UTC |
3cab5ab | Martin Bies | 15 January 2019, 19:37:17 UTC | LaTeX command \text not supported by documentation builder -> Removed this command | 15 January 2019, 19:37:17 UTC |
d84f33c | Martin Bies | 15 January 2019, 19:30:25 UTC | Added example to Divisors on polytope of toric divisor Reason: The tests now detect the segmentation fault discussed in https://github.com/homalg-project/homalg_project/issues/223 | 15 January 2019, 19:30:25 UTC |
f778548 | Max Horn | 22 November 2018, 13:47:49 UTC | Simplify PolymakeInterface/src/loadgap.h | 22 November 2018, 13:47:49 UTC |
c318fbc | Mohamed Barakat | 12 October 2018, 15:20:49 UTC | Merge branch 'pr-214' into devel * pr-214: Added ReadMe for Convex Fixed ToricVarieties PkgInfo for GAP standards | 12 October 2018, 15:20:49 UTC |
2b8520d | Sebastian Gutsche | 12 October 2018, 12:59:36 UTC | Added ReadMe for Convex | 12 October 2018, 12:59:36 UTC |
df3131c | Sebastian Gutsche | 12 October 2018, 12:58:26 UTC | Fixed ToricVarieties PkgInfo for GAP standards | 12 October 2018, 12:58:26 UTC |
1e6c352 | Fabian Zickgraf | 12 October 2018, 11:58:41 UTC | Detect more errors in CI | 12 October 2018, 11:58:41 UTC |
8a8afc8 | Sebastian Gutsche | 26 September 2018, 09:51:32 UTC | Fixed PolymakeInterface version | 26 September 2018, 09:51:32 UTC |
618b734 | Sebastian Gutsche | 26 September 2018, 09:42:30 UTC | Merge pull request #211 from sebasguts/polymake_interface Updated PolymakeInterface for GAP 4.9, Polymake 3 | 26 September 2018, 09:42:30 UTC |
f7389ec | Sebastian Gutsche | 25 September 2018, 14:49:22 UTC | Updated PolymakeInterface for GAP 4.9, Polymake 3 | 25 September 2018, 14:49:22 UTC |
84594f2 | Fabian Zickgraf | 19 September 2018, 14:30:52 UTC | Merge pull request #209 from zickgraf/ci CI fixes | 19 September 2018, 14:30:52 UTC |
ddc917f | Fabian Zickgraf | 19 September 2018, 12:15:40 UTC | Configure, compile and test Gauss | 19 September 2018, 12:15:40 UTC |
461f7d9 | Fabian Zickgraf | 19 September 2018, 10:08:44 UTC | Disable failing tests | 19 September 2018, 10:11:35 UTC |
8827d7c | Fabian Zickgraf | 19 September 2018, 09:03:56 UTC | Make CI actually fail on test errors | 19 September 2018, 09:03:56 UTC |