e8acd9b | Mohamed Barakat | 10 June 2019, 16:23:54 UTC | d&i OnFirstStoredPresentation | 10 June 2019, 16:23:54 UTC |
456381a | Mohamed Barakat | 10 June 2019, 16:14:58 UTC | installed String for IsHomalgMorphism this commit is for the current GAP.jl | 10 June 2019, 16:14:58 UTC |
e745b90 | Mohamed Barakat | 10 June 2019, 15:19:16 UTC | increase priority of ViewObj/Display method for IsHomalgRelations to be higher than the priority of the new corresponding CAP methods, for ModulesForHomalg (earlier named M2) to work properly | 10 June 2019, 15:19:16 UTC |
8f7dbd1 | Mohamed Barakat | 06 June 2019, 20:44:03 UTC | d&i IdenticalPosition and simplified AppendNew using it | 06 June 2019, 20:44:03 UTC |
ada704f | Mohamed Barakat | 02 June 2019, 22:47:06 UTC | installed String for IsFinitelyPresentedModuleRep this commit is for the current GAP.jl | 02 June 2019, 22:47:59 UTC |
5722072 | Mohamed Barakat | 27 May 2019, 15:39:47 UTC | installed IndeterminateOfLaurentPolynomial for homalg ring elements convenience for the computeralgebra course | 27 May 2019, 15:40:42 UTC |
af71f37 | Mohamed Barakat | 27 May 2019, 15:39:14 UTC | fixed method docu string | 27 May 2019, 15:39:14 UTC |
0627170 | Mohamed Barakat | 27 May 2019, 15:28:14 UTC | installed CoefficientsRing for ring elements convenience for the computeralgebra course | 27 May 2019, 15:28:38 UTC |
b027b74 | Mohamed Barakat | 27 May 2019, 15:18:27 UTC | installed IndeterminatesOfPolynomialRing for ring elements convenience for the computeralgebra course | 27 May 2019, 15:18:27 UTC |
c0d3406 | Mohamed Barakat | 27 May 2019, 14:46:10 UTC | installed Characteristic for homalg ring elements | 27 May 2019, 14:46:10 UTC |
9839747 | Mohamed Barakat | 24 May 2019, 16:09:13 UTC | slight improvement in RadicalSubobjectOp | 24 May 2019, 16:09:13 UTC |
082449c | Mohamed Barakat | 24 May 2019, 07:35:25 UTC | AffineDimension now works for IsFieldForHomalg | 24 May 2019, 07:35:25 UTC |
1139648 | Mohamed Barakat | 23 May 2019, 15:58:34 UTC | fixed AMaximalIdealContaining over the integers | 23 May 2019, 16:01:12 UTC |
3601aba | Mohamed Barakat | 23 May 2019, 16:00:17 UTC | avoid "method installed for Saturate matches more than one declaration" | 23 May 2019, 16:00:17 UTC |
f01d034 | Mohamed Barakat | 23 May 2019, 07:31:21 UTC | d&i Saturate for matrices | 23 May 2019, 07:31:21 UTC |
8775c23 | Mohamed Barakat | 17 May 2019, 06:13:28 UTC | updated affiliations | 17 May 2019, 06:13:28 UTC |
97248ae | Mohamed Barakat | 16 May 2019, 14:44:13 UTC | started support for Julia | 16 May 2019, 22:16:42 UTC |
9fedec2 | Mohamed Barakat | 16 May 2019, 22:15:11 UTC | d&i DotToSVG | 16 May 2019, 22:16:21 UTC |
b3ca050 | Mohamed Barakat | 16 May 2019, 18:21:59 UTC | R["x,y,z"] is not supported | 16 May 2019, 18:24:40 UTC |
1d94378 | Mohamed Barakat | 16 May 2019, 18:20:52 UTC | removed obsolete declaration | 16 May 2019, 18:24:40 UTC |
5c42f23 | Max Horn | 16 May 2019, 09:10:23 UTC | Replace deprecated @System by @Chunk | 16 May 2019, 09:10:23 UTC |
9205df1 | Mohamed Barakat | 11 May 2019, 16:38:28 UTC | installed WeightsOfIndeterminates for the ring of integers | 11 May 2019, 16:38:28 UTC |
921d97e | Mohamed Barakat | 10 May 2019, 21:27:26 UTC | fix in WeightsOfIndeterminates for homalg fields | 10 May 2019, 21:27:26 UTC |
0c7bcbc | Mohamed Barakat | 10 May 2019, 14:55:28 UTC | RingMapOntoRewrittenResidueClassRing avoids creating a new ring if not necessary | 10 May 2019, 15:07:15 UTC |
0818f01 | Mohamed Barakat | 09 May 2019, 12:30:31 UTC | bumped version | 09 May 2019, 12:30:31 UTC |
d2b4a46 | Mohamed Barakat | 09 May 2019, 12:30:00 UTC | Merge branch 'pr-261' into devel * pr-261: Use @InsertChunk instead of deprecated @InsertSystem | 09 May 2019, 12:30:00 UTC |
a8b207c | Mohamed Barakat | 08 May 2019, 10:14:30 UTC | bumped version | 08 May 2019, 10:14:30 UTC |
745db10 | Mohamed Barakat | 08 May 2019, 10:13:52 UTC | Merge branch 'pr-260' into devel * pr-260: Convert strings to `IsStringRep` when coercing if necessary | 08 May 2019, 10:13:52 UTC |
21edd57 | Fabian Zickgraf | 03 May 2019, 13:54:11 UTC | Convert strings to `IsStringRep` when coercing if necessary The `/` operation accepts arbitrary strings but `HomalgRingElement` sometimes fails if the string does not lie in `IsStringRep`. Test case: ``` ['1']/HomalgFieldOfRationalsInSingular(); ``` | 08 May 2019, 09:30:22 UTC |
bddad25 | Max Horn | 07 May 2019, 22:12:31 UTC | Use @InsertChunk instead of deprecated @InsertSystem | 07 May 2019, 22:12:31 UTC |
91501b3 | Mohamed Barakat | 03 May 2019, 18:40:08 UTC | bumped version | 03 May 2019, 18:40:08 UTC |
fa36da1 | Mohamed Barakat | 03 May 2019, 18:39:23 UTC | Merge branch 'pr-258' into devel * pr-258: Added primitive collections for fans to Convex | 03 May 2019, 18:39:23 UTC |
b283b40 | Mohamed Barakat | 03 May 2019, 18:36:17 UTC | bumped version | 03 May 2019, 18:36:17 UTC |
6bec852 | Mohamed Barakat | 03 May 2019, 18:35:06 UTC | Merge branch 'pr-249' into devel * pr-249: Minor adjustment in new extended method for CoxRing Added examples on new constructor to the docu Added convenient methods for construction of toric varieties Added tests to exemplify the new ways in which a Cox ring can be created Extended method CoxRing of toric varieties | 03 May 2019, 18:35:06 UTC |
cc25353 | Mohamed Barakat | 03 May 2019, 18:00:45 UTC | bumped version of ToricVarieties | 03 May 2019, 18:00:45 UTC |
1ca692d | Mohamed Barakat | 03 May 2019, 17:59:28 UTC | bumped version of PolymakeInterface | 03 May 2019, 17:59:28 UTC |
8c11a25 | Mohamed Barakat | 03 May 2019, 17:55:36 UTC | Merge branch 'pr-255' into devel * pr-255: Indicate if free modules are left or right modules in the documentation | 03 May 2019, 17:55:36 UTC |
07f45e4 | Mohamed Barakat | 03 May 2019, 17:21:23 UTC | Merge branch 'pr-247' into devel * pr-247: Remove superfluous dependencies from ToricVarieties | 03 May 2019, 17:21:23 UTC |
047cbca | Mohamed Barakat | 03 May 2019, 17:20:17 UTC | Merge branch 'pr-242' into devel * pr-242: Adjust PolymakeInterface to latest polymake and gcc 4.8 | 03 May 2019, 17:20:17 UTC |
6e6d5a4 | Mohamed Barakat | 03 May 2019, 17:17:28 UTC | Merge branch 'pr-219' into devel * pr-219: Don't use undocumented args for {Declare,Install}GlobalFunction | 03 May 2019, 17:17:28 UTC |
b023a34 | Mohamed Barakat | 03 May 2019, 17:15:54 UTC | Merge branch 'pr-251' into devel * pr-251: Add specifications for homogeneous input | 03 May 2019, 17:15:54 UTC |
c11f0c6 | Martin Bies | 01 May 2019, 14:39:52 UTC | Added primitive collections for fans to Convex | 01 May 2019, 14:39:52 UTC |
b3f9cc4 | Fabian Zickgraf | 29 April 2019, 09:41:01 UTC | Indicate if free modules are left or right modules in the documentation | 29 April 2019, 09:41:01 UTC |
5f482e8 | Mohamed Barakat | 21 April 2019, 18:56:27 UTC | SetIsEpimorphism for ring maps which are epis by construction | 21 April 2019, 18:56:27 UTC |
aeae0d2 | Mohamed Barakat | 21 April 2019, 18:55:56 UTC | the identity ring map is now marked as IsIsomorphism and cached | 21 April 2019, 18:55:56 UTC |
0937d8d | Mohamed Barakat | 21 April 2019, 18:54:57 UTC | PreCompose for ring maps now sets known attributes | 21 April 2019, 18:54:57 UTC |
4835927 | Mohamed Barakat | 21 April 2019, 18:52:00 UTC | avoid obsolete declaration | 21 April 2019, 18:53:12 UTC |
c11b040 | Mohamed Barakat | 21 April 2019, 16:26:13 UTC | d&i Pullback for ring elements | 21 April 2019, 16:26:13 UTC |
781f859 | Mohamed Barakat | 21 April 2019, 11:07:40 UTC | added missing dependency on the package utils closes #254 | 21 April 2019, 11:07:40 UTC |
5b1020b | Mohamed Barakat | 20 April 2019, 16:57:02 UTC | reinstalled Random for rings | 20 April 2019, 16:57:02 UTC |
9d0dec5 | Mohamed Barakat | 19 April 2019, 16:34:11 UTC | cleaned up and added inline comments in NoetherNormalization | 19 April 2019, 16:34:11 UTC |
124689b | Mohamed Barakat | 19 April 2019, 11:53:51 UTC | RandomMatrix now works for more homalg rings | 19 April 2019, 11:53:51 UTC |
ca07494 | Mohamed Barakat | 18 April 2019, 15:48:48 UTC | bumped version to enforce a release | 18 April 2019, 15:48:48 UTC |
7282a1b | Mohamed Barakat | 18 April 2019, 15:20:43 UTC | added support for TransposedMatrix (in case Involution is not enough) Closes #253 | 18 April 2019, 15:42:02 UTC |
6bb9253 | Mohamed Barakat | 17 April 2019, 12:49:21 UTC | d&i IrreducibleFactors | 17 April 2019, 12:49:21 UTC |
69c75df | Mohamed Barakat | 17 April 2019, 11:12:25 UTC | d&i PositionsOfMaximalObjects and simplified MaximalObjects using it | 17 April 2019, 11:12:25 UTC |
e856eb8 | Mohamed Barakat | 16 April 2019, 19:44:22 UTC | IsolateIndeterminate now works properly over any ring (not only algebras over fields) | 16 April 2019, 19:44:39 UTC |
2e99dc7 | Mohamed Barakat | 16 April 2019, 14:10:47 UTC | installed fallback method for Factors (for ring elements) | 16 April 2019, 18:01:09 UTC |
d6217b2 | Mohamed Barakat | 16 April 2019, 14:10:14 UTC | Roots now returns no method found for non-internal rings | 16 April 2019, 14:10:14 UTC |
6b92ac5 | Mohamed Barakat | 16 April 2019, 09:15:16 UTC | correctly deal with multiple ring extensions in * AffineDegree * RingMapOntoRewrittenResidueClassRing | 16 April 2019, 09:16:34 UTC |
667e155 | Mohamed Barakat | 15 April 2019, 16:58:55 UTC | d&i RingMapOntoSimplifiedOnceResidueClassRing | 15 April 2019, 16:58:55 UTC |
5ee9b80 | Mohamed Barakat | 15 April 2019, 16:52:15 UTC | relaxed Pullback( ring map, matrix ) even further | 15 April 2019, 16:58:14 UTC |
7bd5c5b | Mohamed Barakat | 15 April 2019, 16:50:36 UTC | PreCompose for ring maps now sets IsMorphism to true if set to true for both maps | 15 April 2019, 16:58:14 UTC |
fbe9595 | Mohamed Barakat | 15 April 2019, 14:11:48 UTC | d&i IsolateIndeterminate | 15 April 2019, 16:58:14 UTC |
0854344 | Mohamed Barakat | 15 April 2019, 15:35:21 UTC | RingMapOntoRewrittenResidueClassRing now takes a homalg ring as input | 15 April 2019, 16:58:03 UTC |
d3940e1 | Mohamed Barakat | 15 April 2019, 14:45:19 UTC | RingMap( R ) is now the identity ring map | 15 April 2019, 15:41:47 UTC |
38c4cac | Mohamed Barakat | 15 April 2019, 11:49:29 UTC | fixed main method for RadicalDecomposition for cyclic homalg modules | 15 April 2019, 11:49:29 UTC |
e156c47 | Mohamed Barakat | 15 April 2019, 08:10:30 UTC | installed HomalgRingOfIntegersInUnderlyingCAS and HomalgFieldOfRationalsInUnderlyingCAS for internal rings | 15 April 2019, 08:11:04 UTC |
ada7908 | Mohamed Barakat | 15 April 2019, 08:08:03 UTC | added Eliminate to the homalgTable of the internal ring of integers | 15 April 2019, 08:08:03 UTC |
ef1f11a | Mohamed Barakat | 15 April 2019, 07:40:59 UTC | relaxed GetListListOfStringsOfMatrix for internal rings | 15 April 2019, 07:41:15 UTC |
3a14d6c | Mohamed Barakat | 14 April 2019, 13:58:49 UTC | Pullback can now deal with identical embeddings | 14 April 2019, 13:58:49 UTC |
df52865 | Mohamed Barakat | 14 April 2019, 13:58:21 UTC | simplified code of Pullback | 14 April 2019, 13:58:21 UTC |
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 |
31e5b4e | Sebastian Posur | 04 April 2019, 14:05:59 UTC | Add specifications for homogeneous input | 04 April 2019, 14:08:01 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 |
7c2b36b | Martin Bies | 01 April 2019, 15:41:50 UTC | Minor adjustment in new extended method for CoxRing | 01 April 2019, 15:41:50 UTC |
13ef045 | Martin Bies | 01 April 2019, 15:41:04 UTC | Added examples on new constructor to the docu | 01 April 2019, 15:41:04 UTC |
a83f153 | Martin Bies | 01 April 2019, 15:25:45 UTC | Added convenient methods for construction of toric varieties | 01 April 2019, 15:25:45 UTC |
3d0c275 | Martin Bies | 01 April 2019, 14:53:26 UTC | Added tests to exemplify the new ways in which a Cox ring can be created | 01 April 2019, 14:53:26 UTC |