bc39703 | Mohamed Barakat | 02 August 2017, 19:43:11 UTC | support Singular's primary decomposition over Z | 02 August 2017, 22:52:20 UTC |
c4681b4 | Mohamed Barakat | 02 August 2017, 19:42:06 UTC | increase priority of IsUnit methods for [ IsHomalgRing, IsRingElement ] to avoid running into a library method for fields | 02 August 2017, 22:51:29 UTC |
4c3e30e | Mohamed Barakat | 01 August 2017, 15:56:07 UTC | d&i ApplyCommandToString and ShaSum | 01 August 2017, 15:56:07 UTC |
212abb4 | Mohamed Barakat | 22 July 2017, 20:19:31 UTC | LaunchCAS_IO_ForHomalg now accepts a list of options as a 3rd argument | 22 July 2017, 20:19:31 UTC |
f3c6bba | Mohamed Barakat | 21 July 2017, 09:46:46 UTC | added a fallback method DecideZero for homalg ring elements | 21 July 2017, 09:46:46 UTC |
dac7e94 | Mohamed Barakat | 20 July 2017, 17:17:46 UTC | fixed Numerator & Denominator for RingForHomalgInSingular | 20 July 2017, 17:17:46 UTC |
b485b28 | Mohamed Barakat | 20 July 2017, 13:19:14 UTC | deleted commented out line | 20 July 2017, 13:19:28 UTC |
a7c9156 | Mohamed Barakat | 19 July 2017, 20:35:47 UTC | Denominator now works for Z[x]_<...>[y] | 19 July 2017, 20:35:47 UTC |
38e77bf | Mohamed Barakat | 19 July 2017, 20:32:21 UTC | Unbind CopyMatrix/Element in several ring tables if R = Z[...] since Singular cannot properly convert between Q and Z | 19 July 2017, 20:32:21 UTC |
d512d14 | Mohamed Barakat | 19 July 2017, 16:17:02 UTC | fixed a bug in AMaximalIdealContaining | 19 July 2017, 16:17:02 UTC |
be0fc9d | Mohamed Barakat | 19 July 2017, 15:12:59 UTC | NoetherNormalization now works in prime characteristic | 19 July 2017, 15:30:15 UTC |
87b187c | Mohamed Barakat | 17 July 2017, 18:36:34 UTC | Merge commit 'sebasguts/master~1' into devel * commit 'sebasguts/master~1': Use RegisterPackageTNUM to register T_POLYMAKE | 17 July 2017, 18:36:34 UTC |
36e922e | Mohamed Barakat | 17 July 2017, 17:56:47 UTC | Numerator/Denominator now works for polynomials in Z_<p>[x] | 17 July 2017, 18:29:16 UTC |
6761270 | Mohamed Barakat | 07 July 2017, 15:13:58 UTC | PolynomialRing( Z_<p>[x], [ "z" ] ) now works | 17 July 2017, 18:29:16 UTC |
893c09f | Mohamed Barakat | 07 July 2017, 14:31:20 UTC | AMaximalIdealContaining for ZZ | 17 July 2017, 18:29:07 UTC |
e64fdd9 | Sebastian Gutsche | 12 July 2017, 11:07:54 UTC | Use RegisterPackageTNUM to register T_POLYMAKE Closes #169. | 12 July 2017, 11:11:33 UTC |
9cc4791 | Mohamed Barakat | 07 July 2017, 14:31:03 UTC | if not HasCoefficientsRing( R ) then TryNextMethod( ); fi; | 07 July 2017, 14:31:03 UTC |
bfea99a | Mohamed Barakat | 07 July 2017, 14:29:18 UTC | whitespace | 07 July 2017, 14:29:18 UTC |
3215aa7 | Mohamed Barakat | 07 July 2017, 14:29:05 UTC | remove obsolete brackets | 07 July 2017, 14:29:05 UTC |
d205608 | VInay Wagh | 07 July 2017, 13:13:12 UTC | fixed NoetherNormalization for univariate polynomial rings | 07 July 2017, 13:13:12 UTC |
f462be8 | Mohamed Barakat | 07 July 2017, 13:05:29 UTC | LocalizeBaseRingAtPrime now works for Z[x][y] | 07 July 2017, 13:05:29 UTC |
0e1dade | Mohamed Barakat | 07 July 2017, 13:04:49 UTC | fixed entry RingName in CommonHomalgTableForLocalizedRingsAtPrimeIdeals | 07 July 2017, 13:04:59 UTC |
3470bb5 | Sebastian Gutsche | 06 July 2017, 13:44:49 UTC | Fixed API in release script | 06 July 2017, 14:09:01 UTC |
b7159e1 | Mohamed Barakat | 25 June 2017, 22:16:47 UTC | Merge pull request #27 from wagh/master Installed AMaximalIdealContaining for ZZ[X_1...] | 25 June 2017, 22:16:47 UTC |
8e083a0 | Mohamed Barakat | 23 June 2017, 09:07:46 UTC | fixed SimplifiedInequalities thanks Lukas Kühne | 23 June 2017, 09:07:46 UTC |
7adc85a | VInay Wagh | 20 June 2017, 16:32:44 UTC | Installed AMaximalIdealContaining for ZZ[X_1...] | 20 June 2017, 16:41:14 UTC |
3bc2ed7 | Mohamed Barakat | 20 June 2017, 16:24:25 UTC | made VInay and author | 20 June 2017, 16:24:25 UTC |
35015fe | Mohamed Barakat | 20 June 2017, 16:21:56 UTC | declared and installed HomalgRingOfIntegersInUnderlyingCAS | 20 June 2017, 16:21:56 UTC |
ee8b3e9 | Mohamed Barakat | 20 June 2017, 16:01:27 UTC | fixed RP!.IsUnit in HomalgRingOfIntegersInSingular thanks VInay | 20 June 2017, 16:01:27 UTC |
7920650 | Mohamed Barakat | 20 June 2017, 15:55:18 UTC | fixed CommonHomalgTableForSingularTools.IsUnit_Z incredible bug, thanks VInay for spotting it :) | 20 June 2017, 15:55:18 UTC |
1759726 | Mohamed Barakat | 14 June 2017, 19:44:08 UTC | Merge pull request #26 from sebasguts/master Fallback function for Gauss C-module | 14 June 2017, 19:44:08 UTC |
b49784d | Sebastian Gutsche | 14 June 2017, 12:37:34 UTC | Fallback function for Gauss C-module | 14 June 2017, 12:37:34 UTC |
c8400fb | Mohamed Barakat | 27 May 2017, 19:44:28 UTC | Jacobson normal form in one differential variable can now be activated by setting HOMALG_IO_Maple.UseJacobsonNormalForm := true before calling RingForHomalgInMapleUsingJanet | 27 May 2017, 20:09:15 UTC |
735e028 | Mohamed Barakat | 27 May 2017, 14:18:14 UTC | homalg field are now GAP fields In SetRingProperties for IsFieldForHomalg: SetFilterObj( R, IsField ) | 27 May 2017, 20:08:53 UTC |
da30a76 | Mohamed Barakat | 27 May 2017, 14:11:03 UTC | installed \in for homalg internal rings | 27 May 2017, 14:11:03 UTC |
90d3b2d | Mohamed Barakat | 26 May 2017, 20:34:17 UTC | installed String for IsHomalgRing | 26 May 2017, 20:34:17 UTC |
34e305b | Mohamed Barakat | 25 May 2017, 22:01:24 UTC | set NrRows and NrColumns (if given) for all internal rings | 25 May 2017, 22:03:53 UTC |
a92a508 | Mohamed Barakat | 20 May 2017, 05:47:25 UTC | added assertion: Assert( 3, IsEpimorphism( pi ) ); | 20 May 2017, 05:47:25 UTC |
cb83223 | Mohamed Barakat | 20 May 2017, 05:47:18 UTC | whitespace | 20 May 2017, 05:47:18 UTC |
f9c54d0 | Mohamed Barakat | 18 May 2017, 12:53:43 UTC | fixed ViewObj for morphisms of vector spaces | 18 May 2017, 12:53:43 UTC |
038e7b5 | Mohamed Barakat | 12 May 2017, 16:57:36 UTC | if IsBound( MakeThreadLocal ) then Perform( [ ... ], MakeThreadLocal ); fi; | 12 May 2017, 16:57:36 UTC |
66af642 | Mohamed Barakat | 12 May 2017, 10:54:28 UTC | only define HOMALG_MATRICES.ContainerForWeakPointersOnHomalgExternalRings when needed adapted code of following functions accordingly: * AppendTohomalgTablesOfCreatedExternalRings * UpdateMacrosOfLaunchedCASs | 12 May 2017, 13:23:26 UTC |
559438f | Mohamed Barakat | 12 May 2017, 10:53:43 UTC | simplified code of UpdateMacrosOfLaunchedCASs | 12 May 2017, 13:23:26 UTC |
35c5e48 | Mohamed Barakat | 12 May 2017, 07:21:05 UTC | Got rid of INSTALL_TODO_LIST_ENTRIES_FOR_RELATIONS and replaced ToDo list entries by immediate methods updated docu of following packages accordingly: * LocalizeRingForHomalg * ExamplesForHomalg | 12 May 2017, 13:22:19 UTC |
5654e5a | Mohamed Barakat | 12 May 2017, 07:19:23 UTC | missing word in description string of a ToDo-list entry | 12 May 2017, 07:19:23 UTC |
1e3e054 | Mohamed Barakat | 10 May 2017, 07:48:19 UTC | code cosmetics for all ToDoListEntry | 10 May 2017, 07:53:52 UTC |
e3d8c48 | Mohamed Barakat | 10 May 2017, 07:47:22 UTC | code cosmetics for all ToDoListEntry | 10 May 2017, 07:53:52 UTC |
33e0b5e | Mohamed Barakat | 09 May 2017, 18:27:37 UTC | declared and installed new technical attribute NrGeneratorsForRelations and call it from NrGenerators | 10 May 2017, 07:53:46 UTC |
6e261d4 | Mohamed Barakat | 09 May 2017, 18:13:05 UTC | deleted wrong comments (copy&paste mistake) | 09 May 2017, 18:13:05 UTC |
44d8b82 | Mohamed Barakat | 09 May 2017, 17:08:53 UTC | removed logic code in BasisOfModule methods for relations as the this logic was taken care of in a previous commit using ToDo lists | 09 May 2017, 17:08:53 UTC |
a7b2a93 | Mohamed Barakat | 09 May 2017, 16:22:06 UTC | Immediate methods for IsInjectivePresentation are now obsolete | 09 May 2017, 16:22:06 UTC |
92e14ca | Mohamed Barakat | 09 May 2017, 15:29:55 UTC | RingName for residue class rings now sets ring_rel!.StringOfEntries which is used to simplify code and reduce calls in view method of matrices | 09 May 2017, 15:29:55 UTC |
12570b6 | Mohamed Barakat | 09 May 2017, 15:29:16 UTC | renamed ring_rel!.StringOfEntries -> ring_rel!.StringOfEntriesForRingName | 09 May 2017, 15:29:16 UTC |
e184d61 | Mohamed Barakat | 09 May 2017, 11:53:51 UTC | declared CreateHomalgBlockDiagonalMatrixFromStringList and installed it from external rings in MAGMA. | 09 May 2017, 11:53:51 UTC |
06ecb43 | Mohamed Barakat | 05 May 2017, 14:00:27 UTC | MakeThreadLocal( "TODO_LISTS" ); | 05 May 2017, 14:00:27 UTC |
8b03d81 | Mohamed Barakat | 04 May 2017, 09:50:36 UTC | IsToDoListWeakPointer now lies in the filter IsComponentObjectRep for InfoOfObject to work (never make it an expensive IsAttributeStoringRep) | 04 May 2017, 09:50:36 UTC |
b12bb5c | Mohamed Barakat | 04 May 2017, 09:49:34 UTC | SetDescription for ToDo lists for forward and backward propagations of equal attributes | 04 May 2017, 09:49:34 UTC |
a7d3631 | Mohamed Barakat | 04 May 2017, 09:48:22 UTC | SetDescription for ToDo lists propagating equal attributes | 04 May 2017, 09:48:22 UTC |
eb4e328 | Mohamed Barakat | 03 May 2017, 18:04:01 UTC | improved INSTALL_TODO_LIST_ENTRIES_FOR_MATRICES_OF_RELATIONS | 03 May 2017, 18:04:01 UTC |
d425297 | Mohamed Barakat | 03 May 2017, 18:03:44 UTC | improved INSTALL_TODO_LIST_ENTRIES_FOR_RELATIONS | 03 May 2017, 18:03:44 UTC |
7172f98 | Mohamed Barakat | 03 May 2017, 15:46:14 UTC | Typo: Equivalencies -> Equivalences | 03 May 2017, 15:46:14 UTC |
c3d0938 | Mohamed Barakat | 26 April 2017, 19:27:21 UTC | simplified syntax of a ToDoListEntry | 26 April 2017, 19:27:21 UTC |
c76873e | Mohamed Barakat | 22 April 2017, 09:19:51 UTC | outsourced TOOLS_FOR_HOMALG_GET_REAL_TIME_OF_FUNCTION_CALL to IO_ForHomalg | 22 April 2017, 09:19:51 UTC |
4888cf0 | Mohamed Barakat | 22 April 2017, 09:18:43 UTC | deleted ENTERs | 22 April 2017, 09:18:43 UTC |
9b16348 | Markus Kirschmer | 17 April 2017, 17:10:34 UTC | fixed CreateHomalgMatrixFromSparseString for MAGMA Hallo Mohamed, das hat wahrscheinlich noch nie funktioniert, denn homalg_variable_5 ist eine Liste rationaler Zahlen. Die ersten beiden Einträge müssen wir erst nach Z konvertieren. Das hier sollte gehen. homalg_variable_6 := Matrix(SparseMatrix(homalg_variable_1,2,2, [car< Integers(), Integers(), homalg_variable_1 > | <a,b,c> where a,b,c:= Explode(e): e in homalg_variable_5] )); Viele Grüße Markus On Monday, April 17, 2017, 3:35:12 PM GMT+2, Mohamed Barakat <mohamed.barakat@uni-siegen.de> wrote: Lieber Markus, dieser Code scheint nicht mehr zu funktionieren: https://github.com/homalg-project/homalg_project/blob/master/RingsForHomalg/gap/MAGMA.gi#L899 Auf der MAGMA Seite erzeugt er folgende Aufrufe: $ magma homalg_variable_1 := Rationals(); homalg_variable_5 := [ [ 1, 1, 1/3 ], [ 1, 2, 1/4 ], [ 2, 1, 1/5 ], [ 2, 2, 1/6 ] ]; homalg_variable_6 := Matrix(SparseMatrix(homalg_variable_1,2,2, [<a,b,c> where a,b,c:= Explode(e): e in homalg_variable_5] )); <Source not available> Runtime error in 'SparseMatrix': Universe of sequence must be car<Z, Z, R> for some ring R Siehst Du auf Anhieb woran das liegt? Liebe Grüße, Mohamed | 17 April 2017, 17:10:34 UTC |
81a6ad4 | HereAround | 05 April 2017, 14:00:27 UTC | revived example code in AffineSpace.g | 05 April 2017, 14:01:11 UTC |
ccc7ac1 | Mohamed Barakat | 05 April 2017, 13:45:41 UTC | fixed a very hidden bug in DegreeOfRingElementFunction for residue class rings thanks Martin Bies for pointing out the problem | 05 April 2017, 13:48:40 UTC |
0e94f52 | Mohamed Barakat | 05 April 2017, 09:36:01 UTC | Merge pull request #25 from sebasguts/master Various fixes | 05 April 2017, 09:36:01 UTC |
dfa896c | Mohamed Barakat | 05 April 2017, 09:27:05 UTC | Merge branch 'ToricVarietiesCleanup' * ToricVarietiesCleanup: Hirzebruch5.g -> GeneralExamples.g installed a method for AmpleDivisor declared and installed IsProjectiveSpace and IsDirectProductOfPNs declared and installed a 2-argument ToricVariety constructor installed missing 1-argument method for CoordinateRingOfTorus Toric varieties now uses NConvex declared and installed SRIdeal (Stanley-Reißner ideal) declared and installed MapFromWeilDivisorsToClassGroup Get rid of NormalizInterface dependency Switched to AutoDoc deletd Cohomology.{gd,gi,g,xml} whitespaces | 05 April 2017, 09:27:05 UTC |
823dd52 | HereAround | 03 April 2017, 16:26:05 UTC | fix a bug in SimplerEquivalentMatrix closes homalg-project/homalg_project/issues/161 | 05 April 2017, 09:23:20 UTC |
024498e | HereAround | 02 April 2017, 12:47:03 UTC | Hirzebruch5.g -> GeneralExamples.g (*) Changed the file Hirzebruch5.g into GeneralExamples.g (*) The latter now contains not only an example on a Hirzebruch-5-surface, but also on a complete smooth yet non-projective toric variety | 05 April 2017, 09:17:35 UTC |
6c6e9f3 | HereAround | 04 April 2017, 18:41:21 UTC | installed a method for AmpleDivisor | 05 April 2017, 09:17:35 UTC |
3ff5f79 | HereAround | 04 April 2017, 18:40:01 UTC | declared and installed IsProjectiveSpace and IsDirectProductOfPNs | 05 April 2017, 09:17:35 UTC |
5b28e58 | HereAround | 04 April 2017, 18:30:14 UTC | declared and installed a 2-argument ToricVariety constructor the second argument is a list to explicitly specifiy the degrees of the indeterminates of the Cox ring (the GLSM charges) Caution: We assume that the class group is free, e.g., the variety is smooth. | 05 April 2017, 09:17:34 UTC |
27e2aa7 | HereAround | 04 April 2017, 18:25:00 UTC | installed missing 1-argument method for CoordinateRingOfTorus removed error messages in: * ListOfVariablesOfCoordinateRingOfTorus * CharacterToRationalFunction | 05 April 2017, 09:17:34 UTC |
7d3d849 | HereAround | 31 March 2017, 11:48:11 UTC | Toric varieties now uses NConvex (*) Toric varieties now uses NConvex (*) The tests are adapted accordingly (*) Added tests on SR- and irrelevant ideal (*) MapFromCharacterToPrincipalDivisor now avoids a fragile assumption | 05 April 2017, 09:17:33 UTC |
1125bf7 | HereAround | 04 April 2017, 18:20:51 UTC | declared and installed SRIdeal (Stanley-Reißner ideal) | 05 April 2017, 09:17:00 UTC |
003919c | HereAround | 04 April 2017, 18:12:19 UTC | declared and installed MapFromWeilDivisorsToClassGroup * MapFromWeilDivisorsToClassGroup uses ByASmallerPresentation * replace CokernelEpi( MapFromCharacterToPrincipalDivisor( variety ) ) -> MapFromWeilDivisorsToClassGroup( variety ) | 05 April 2017, 09:17:00 UTC |
38645c4 | HereAround | 04 April 2017, 17:48:00 UTC | Get rid of NormalizInterface dependency | 05 April 2017, 09:17:00 UTC |
5615cd0 | HereAround | 04 April 2017, 16:44:46 UTC | Switched to AutoDoc | 05 April 2017, 09:16:56 UTC |
f3a7ed9 | Mohamed Barakat | 04 April 2017, 11:43:52 UTC | deletd Cohomology.{gd,gi,g,xml} outsourced this stuff to SheafCohomologiesOnToricVarieties | 04 April 2017, 18:50:59 UTC |
ef2096b | HereAround | 04 April 2017, 11:27:35 UTC | whitespaces | 04 April 2017, 18:50:48 UTC |
cf8f278 | Mohamed Barakat | 03 April 2017, 17:19:56 UTC | added four Assert( 6, ... ) to SimplerEquivalentMatrix see my comment in homalg-project/homalg_project/issues/161 | 03 April 2017, 17:36:42 UTC |
2c2d802 | Mohamed Barakat | 03 April 2017, 16:13:56 UTC | fixed bug in CommonHomalgTableForSingularTools.CopyColumnToIdentityMatrix see my comment in homalg-project/homalg_project/issues/161 | 03 April 2017, 17:36:32 UTC |
905d33c | Mohamed Barakat | 02 April 2017, 19:19:11 UTC | method filter for LargestMinimalNumberOfLocalGenerators now allows graded modules | 03 April 2017, 17:28:42 UTC |
fb12c69 | Mohamed Barakat | 02 April 2017, 19:18:45 UTC | whitespaces | 03 April 2017, 17:28:02 UTC |
6021523 | Mohamed Barakat | 30 March 2017, 17:38:21 UTC | code cleanup | 30 March 2017, 17:38:21 UTC |
ac170de | Mohamed Barakat | 30 March 2017, 17:19:12 UTC | deleted obsolete local variable | 30 March 2017, 17:19:12 UTC |
58d76c2 | Mohamed Barakat | 30 March 2017, 14:06:50 UTC | declared and installed LazySyzygiesOfRows/Columns and declared EvalSyzygiesOfRows/Columns and installed IsZero for Eval for HasEvalSyzygiesOfRows/Columns | 30 March 2017, 16:04:57 UTC |
dd2134d | Mohamed Barakat | 30 March 2017, 12:22:03 UTC | _Functor_Hom_OnModules now does not evaluate GeneratorsOfModule( hom ) SetProcedureToNormalizeGenerators and SetProcedureToReadjustGenerators are now applied to the Hom-module hom, and the new passes them a posteriori to the generators | 30 March 2017, 12:22:03 UTC |
e4ec641 | Mohamed Barakat | 30 March 2017, 12:04:54 UTC | CommonHomalgTableForResidueClassRings.RingName now stores its output | 30 March 2017, 12:04:54 UTC |
da36bb5 | Mohamed Barakat | 30 March 2017, 08:14:59 UTC | improved inline comment | 30 March 2017, 08:14:59 UTC |
32d265a | Mohamed Barakat | 28 March 2017, 07:53:18 UTC | deleting zero rows/columns from a diagonal (rectangular) matrix breaks diagonality | 28 March 2017, 07:54:15 UTC |
d267ea5 | Mohamed Barakat | 27 March 2017, 17:38:28 UTC | Priority for Display for IsHomalgGenerators is now 100 needed by the new Modules package closes homalg-project/M2/issues/4 | 27 March 2017, 17:45:52 UTC |
55b31d6 | Mohamed Barakat | 27 March 2017, 11:37:08 UTC | require AdmissibleInputForHomalgFunctors in functor_TheZeroMorphism for the second argument | 27 March 2017, 11:54:12 UTC |
afeceb4 | Mohamed Barakat | 27 March 2017, 11:35:56 UTC | added the filter AdmissibleInputForHomalgFunctors to TheTypeHomalg*FinitelyPresentedModule | 27 March 2017, 11:35:56 UTC |
b5da300 | Mohamed Barakat | 27 March 2017, 11:24:16 UTC | ZeroMutable for homalg maps now calls TheZeroMorphism | 27 March 2017, 11:24:16 UTC |
0932fb7 | Mohamed Barakat | 27 March 2017, 11:19:42 UTC | require AdmissibleInputForHomalgFunctors in functor_AddMorphisms and functor_MulMorphism | 27 March 2017, 11:19:42 UTC |
9b3ad7e | Mohamed Barakat | 27 March 2017, 10:10:56 UTC | require AdmissibleInputForHomalgFunctors in functor_AddMorphisms and functor_SubMorphisms | 27 March 2017, 10:10:56 UTC |
37e3850 | Mohamed Barakat | 24 March 2017, 18:38:42 UTC | more elaborate documentation of IsMorphism | 24 March 2017, 18:38:42 UTC |