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 |
e771b72 | Mohamed Barakat | 23 March 2017, 19:04:16 UTC | Comply with CAP: no mathematical properties should imply IsMorphism | 23 March 2017, 19:04:16 UTC |
4fd37be | Mohamed Barakat | 23 March 2017, 19:00:02 UTC | SetIsMorphism to true before IsSetEpi/Mono to true preparing transition to CAP SetIsMorphism to true in: * ImageObjectEpi * HorseShoeResolution * ShoeResolution * _Functor_SubmoduleGeneratedByHomogeneousPart_OnGradedMaps * _Functor_LinearFreeComplexOverExteriorAlgebraToModule_OnGradedModules * SetPropertiesOfCoproductMorphism * SetPropertiesOfProductMorphism | 23 March 2017, 19:00:02 UTC |
3eafbdf | Mohamed Barakat | 23 March 2017, 16:03:23 UTC | require IsMorphism in ViewString methods this should prepare the CAP rebase, since mathematical properties like IsMonomorphism do not imply data consistency | 23 March 2017, 18:47:33 UTC |
c01c948 | Mohamed Barakat | 23 March 2017, 15:45:10 UTC | SetIsMorphism to true in _HomalgMap at two instances this should be safe in our data structure | 23 March 2017, 18:47:33 UTC |
9713e34 | Mohamed Barakat | 23 March 2017, 15:43:52 UTC | SetIsMorphism( CokernelEpi( phi ), true ) a safe assumption due to our data structure of f.p. modules | 23 March 2017, 18:47:32 UTC |
58c0f63 | Mohamed Barakat | 23 March 2017, 15:42:10 UTC | removed IsAutomorphism assumption in _HomalgMap constructor even IsMorphism won't be valid in general | 23 March 2017, 18:47:32 UTC |
d8bf4e1 | Mohamed Barakat | 23 March 2017, 18:06:29 UTC | replaced if-else by two independent if's in _Functor_Hom_OnMaps | 23 March 2017, 18:47:32 UTC |
daa7529 | Mohamed Barakat | 23 March 2017, 18:34:05 UTC | fixed a typo | 23 March 2017, 18:47:32 UTC |
e6baf6f | Mohamed Barakat | 23 March 2017, 15:41:39 UTC | deleted obsolete docu comment | 23 March 2017, 15:47:32 UTC |
a1c8d09 | Mohamed Barakat | 22 March 2017, 14:56:00 UTC | simplified code in _Functor_ImageObject_OnModules using the previously installed INSTALL_TODO_LIST_ENTRIES_FOR_MORPHISMS_AND_IMAGE_EMBEDDINGS in homalg v2017.03.18 | 23 March 2017, 15:02:17 UTC |
e27c020 | Mohamed Barakat | 22 March 2017, 14:55:21 UTC | declared and installed todo-lists for morphisms and their image embeddings installed * INSTALL_TODO_LIST_ENTRIES_FOR_MORPHISMS_AND_IMAGE_EMBEDDINGS | 23 March 2017, 15:01:23 UTC |
2ae2b91 | Mohamed Barakat | 21 March 2017, 22:09:53 UTC | Only add to Genesis if Genesis is a list avoids errors with homalg/CAP objects created with CAP functors | 21 March 2017, 22:09:53 UTC |
d202b54 | Mohamed Barakat | 21 March 2017, 19:29:31 UTC | ImageObject now uses the extra filter AdmissibleInputForHomalgFunctors | 21 March 2017, 19:29:31 UTC |
03c10bc | Mohamed Barakat | 21 March 2017, 19:25:40 UTC | added new filter AdmissibleInputForHomalgFunctors to TheTypeHomalg*Map* installing operations for homalg functors using this extra filter prevents them from being invoked on new CAP-style objects/morphisms | 21 March 2017, 19:25:40 UTC |
e795d97 | Mohamed Barakat | 20 March 2017, 20:29:38 UTC | update example files according to Modules v2017.03.16 | 21 March 2017, 10:50:11 UTC |
a72a9d5 | Mohamed Barakat | 20 March 2017, 20:22:32 UTC | declared and installed todo lists connecting modules, relations, and presentation matrices declared and installed * INSTALL_TODO_LIST_ENTRIES_FOR_RELATIONS * INSTALL_TODO_LIST_ENTRIES_FOR_MATRICES_OF_RELATIONS * INSTALL_TODO_LIST_ENTRIES_FOR_RELATIONS_OF_MODULES and used them to get rid of logic code in * AddANewPresentation * Presentation * LeftPresentation * RightPresentation * _HomalgRelationsForLeftModule * _HomalgRelationsForRightModule and updated examples accordingly | 21 March 2017, 10:50:10 UTC |
1da01de | Mohamed Barakat | 20 March 2017, 20:18:56 UTC | declared and installed new technical attribute NrRelationsForRelations and call it from NrRelations | 21 March 2017, 10:50:10 UTC |
5ae2092 | Mohamed Barakat | 21 March 2017, 10:28:57 UTC | got rid of obsolete code in BasisOfModule (for modules) this needs the last changes in MatricesForHomalg v2017.03.15 which was required in the previous commit this commit removes a hidden bug: the line rk := Length( Filtered( diag, IsZero ) ) + NrGenerators( M ) - Length( diag ); involves the number of *current* generators and properties of entries of the *old* presentation matrix | 21 March 2017, 10:47:39 UTC |
9bc2240 | Mohamed Barakat | 20 March 2017, 19:40:19 UTC | updated example files to comply with MatricesForHomalg v2017.03.15 | 20 March 2017, 19:44:16 UTC |
2a95098 | Mohamed Barakat | 20 March 2017, 19:39:33 UTC | updated example files to comply with MatricesForHomalg v2017.03.15 | 20 March 2017, 19:39:33 UTC |
f62268c | Mohamed Barakat | 20 March 2017, 19:35:44 UTC | installed immediate methods for IsLeftRegular/IsRightRegular given IsUpperStairCaseMatrix/IsLowerStairCaseMatrix and HasZeroRows/HasZeroColumns and IsIntegralDomain( HomalgRing( matrix ) ) | 20 March 2017, 19:35:44 UTC |
9f93bab | Mohamed Barakat | 20 March 2017, 19:31:24 UTC | installed immediate methods for RowRankOfMatrix/ColumnRankOfMatrix given IsUpperStairCaseMatrix/IsLowerStairCaseMatrix and HasNonZeroRows/HasNonZeroColumns and IsIntegralDomain( HomalgRing( matrix ) ) | 20 March 2017, 19:35:01 UTC |