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 |
606c2f8 | Mohamed Barakat | 20 March 2017, 19:29:39 UTC | installed immediate methods for NonZeroRows/NonZeroColumns given HasZeroRows/HasZeroColumns and HasNrRows/HasNrColumns | 20 March 2017, 19:29:39 UTC |
6ac8da9 | Sebastian Gutsche | 20 March 2017, 12:05:44 UTC | inverted condition to move the main code of ProcessAToDoListEntry out of if scope | 20 March 2017, 12:09:41 UTC |
b9ed791 | Mohamed Barakat | 17 March 2017, 09:07:08 UTC | check IsBound( phi!.reduced_matrices ) before accessing its components this makes this IsZero immediate method usable by new Modules package | 17 March 2017, 09:13:15 UTC |
b692727 | Mohamed Barakat | 17 March 2017, 08:46:24 UTC | turned global function constructor for homalg maps in an operation renamed HomalgMap -> _HomalgMap and declared and installed one, two, and three argment operations for HomalgMap using the renamed global function | 17 March 2017, 08:50:14 UTC |
ab0debe | Mohamed Barakat | 17 March 2017, 08:36:07 UTC | turned global function constructors for relations into operations renamed: * HomalgRelationsForLeftModule -> _HomalgRelationsForLeftModule * HomalgRelationsForRightModule -> _HomalgRelationsForRightModule declared and installed the one and two argment operations: * HomalgRelationsForLeftModule * HomalgRelationsForRightModule using the renamed global functions | 17 March 2017, 08:49:43 UTC |
ce16fa7 | Mohamed Barakat | 15 March 2017, 20:07:51 UTC | BasisOfModule( M ) now only adds new (=nonidentical) sets of relations to the module M | 15 March 2017, 20:07:51 UTC |
3eae755 | Mohamed Barakat | 14 March 2017, 19:13:06 UTC | SetsOfRelations( M )!.(p) -> SetsOfRelations( M, p ) in immediate methods needed by the new Modules package, should not lead to regression, hopefully | 14 March 2017, 19:13:06 UTC |
b355383 | Mohamed Barakat | 14 March 2017, 19:10:53 UTC | Priority for ViewObj for IsHomalgGenerators is now 100 needed by the new Modules package | 14 March 2017, 19:10:53 UTC |
b5c357f | Mohamed Barakat | 08 December 2016, 20:46:27 UTC | Eliminate( M ) := Eliminate( M, RelativeIndeterminatesOfPolynomialRing( R ) ) | 08 December 2016, 20:49:38 UTC |
efda3b7 | Mohamed Barakat | 08 December 2016, 20:37:31 UTC | Coefficients( p, [ x*y ] ) -> Coefficients( p, [ x, y ] ) | 08 December 2016, 20:49:10 UTC |
167e782 | Mohamed Barakat | 29 November 2016, 18:23:45 UTC | added Determinant to CommonHomalgTableForMAGMATools | 29 November 2016, 18:23:45 UTC |
4c5a2ad | Mohamed Barakat | 25 November 2016, 09:54:31 UTC | Merge pull request #23 from sebasguts/polymake_cxx14 Polymake cxx14 | 25 November 2016, 09:54:31 UTC |
3101716 | Sebastian Gutsche | 24 November 2016, 13:03:58 UTC | New Version | 24 November 2016, 13:03:58 UTC |
bf9e093 | Sebastian Gutsche | 24 November 2016, 12:37:23 UTC | Added interface for matroids and test of isomorphy | 24 November 2016, 12:37:23 UTC |
0a6caa3 | Sebastian Gutsche | 24 November 2016, 08:45:17 UTC | Polymake templates | 24 November 2016, 08:45:17 UTC |
3e6c816 | Mohamed Barakat | 23 November 2016, 14:44:02 UTC | Merge remote-tracking branch 'github/master' into devel * github/master: bugfix in e96380d, close issue #167 Stop using undocumented APIs | 23 November 2016, 14:44:02 UTC |
2cbcec5 | Mohamed Barakat | 23 November 2016, 14:40:48 UTC | bugfix in e96380d, close issue #167 | 23 November 2016, 14:42:45 UTC |
c6c7f12 | Mohamed Barakat | 23 November 2016, 09:49:43 UTC | Merge remote-tracking branch 'mohamed/master' into devel * mohamed/master: Some more cleanup Cleaned up tropical Cleanup Removed old fan method Cleanup cones PolymakeInterface: Cleanup Make PolymakeInterface build and run with post-3.0 polymake | 23 November 2016, 09:49:43 UTC |
602241e | Mohamed Barakat | 23 November 2016, 09:44:09 UTC | Merge pull request #22 from sebasguts/polymake_cxx14 Polymake cxx14 | 23 November 2016, 09:44:09 UTC |
1a9d81a | Mohamed Barakat | 21 November 2016, 09:49:04 UTC | if IsReducedBasisOfRowsMatrix( M ) then SetReducedBasisOfRowModule( B, M ); | 21 November 2016, 09:49:04 UTC |
61205d0 | Mohamed Barakat | 16 November 2016, 11:29:35 UTC | Merge branch 'github' into devel * github: Stop using undocumented APIs | 16 November 2016, 11:29:35 UTC |
58d6af3 | Mohamed Barakat | 16 November 2016, 11:23:13 UTC | Merge pull request #165 from fingolfin/mh/no-undoc Stop using undocumented APIs | 16 November 2016, 11:23:13 UTC |
e96380d | Max Horn | 14 November 2016, 18:05:35 UTC | Stop using undocumented APIs | 14 November 2016, 18:05:35 UTC |
7462b31 | Mohamed Barakat | 06 October 2016, 21:10:04 UTC | removed */public_html | 06 October 2016, 21:10:04 UTC |
2f554d4 | Mohamed Barakat | 06 October 2016, 21:07:54 UTC | removed SCO/public_html | 06 October 2016, 21:07:54 UTC |
6c49436 | Mohamed Barakat | 06 October 2016, 21:07:30 UTC | removed RingsForHomalg/public_html | 06 October 2016, 21:07:30 UTC |
bdc463c | Mohamed Barakat | 06 October 2016, 21:06:48 UTC | removed ToolsForHomalg/public_html | 06 October 2016, 21:06:48 UTC |
d0c3cd6 | Mohamed Barakat | 06 October 2016, 21:06:11 UTC | removed homalg/public_html | 06 October 2016, 21:06:11 UTC |
6630f61 | Mohamed Barakat | 06 October 2016, 20:45:46 UTC | make clean -> make docclean | 06 October 2016, 20:45:46 UTC |
04f60da | Mohamed Barakat | 06 October 2016, 20:43:09 UTC | fixed PolymakeInterface/doc/clean | 06 October 2016, 20:43:09 UTC |
8c171ee | Mohamed Barakat | 06 October 2016, 20:42:53 UTC | deleted PolymakeInterfaceBib.xml | 06 October 2016, 20:42:53 UTC |
39210bf | Mohamed Barakat | 06 October 2016, 20:31:04 UTC | removed PolymakeInterface/public_html | 06 October 2016, 20:31:04 UTC |
7d5867f | Mohamed Barakat | 06 October 2016, 20:29:59 UTC | fixed Convex/doc/clean | 06 October 2016, 20:29:59 UTC |
fe6dd6b | Mohamed Barakat | 06 October 2016, 20:29:06 UTC | deleted Convex/public_html | 06 October 2016, 20:29:06 UTC |
c670d16 | Mohamed Barakat | 06 October 2016, 18:25:09 UTC | fixed ToricVarieties/doc/clean | 06 October 2016, 18:25:09 UTC |
b1d7e34 | Mohamed Barakat | 06 October 2016, 18:16:23 UTC | added missing 4ti2Interface/doc/clean | 06 October 2016, 18:21:00 UTC |
d583290 | Mohamed Barakat | 06 October 2016, 18:15:38 UTC | fixed 4ti2Interface/.gitignore | 06 October 2016, 18:20:56 UTC |
3a7c197 | Sebastian Gutsche | 06 October 2016, 15:47:57 UTC | Changed makedoc files | 06 October 2016, 15:47:57 UTC |
3a654fb | Sebastian Gutsche | 06 October 2016, 15:26:25 UTC | Removed doc/manual.six from makefile | 06 October 2016, 15:26:25 UTC |
8ba25ff | Mohamed Barakat | 06 October 2016, 12:12:28 UTC | fixed a corner-case-bug in SubobjectQuotient | 06 October 2016, 12:14:40 UTC |
630a187 | Mohamed Barakat | 06 October 2016, 09:58:08 UTC | sanity check = bug fix in SimplifiedInequalities | 06 October 2016, 09:58:08 UTC |
87e95a5 | Mohamed Barakat | 20 September 2016, 09:35:21 UTC | the tool function for Coefficients can now handle the exterior algebra | 20 September 2016, 09:35:21 UTC |
6380f5b | Mohamed Barakat | 26 August 2016, 14:12:50 UTC | Merge pull request #21 from sebasguts/master Fixes in general printing and new singular macro | 26 August 2016, 14:12:50 UTC |
ab2d530 | Sebastian Gutsche | 26 August 2016, 14:04:33 UTC | Bug in weak pointer access for cache | 26 August 2016, 14:04:33 UTC |
909d935 | Sebastian Gutsche | 26 August 2016, 12:43:35 UTC | Fixed comparing issue in caching objects | 26 August 2016, 12:43:35 UTC |
aef0bcf | Sebastian Gutsche | 24 August 2016, 19:39:19 UTC | Fixed caches issue with disappearing entries in WPLists | 24 August 2016, 19:39:19 UTC |
2554f37 | Sebastian Gutsche | 12 August 2016, 10:14:34 UTC | New singular macro for coeffs and monomials of polynomial | 12 August 2016, 10:14:34 UTC |
924d97e | Sebastian Gutsche | 11 August 2016, 07:04:11 UTC | Some more cleanup | 11 August 2016, 07:04:11 UTC |
d6ae182 | Sebastian Gutsche | 22 July 2016, 10:47:44 UTC | Cleaned up tropical | 22 July 2016, 10:47:44 UTC |
66848ec | Sebastian Gutsche | 22 July 2016, 10:30:26 UTC | Cleanup | 22 July 2016, 10:30:26 UTC |
b1a568c | Sebastian Gutsche | 22 July 2016, 07:32:51 UTC | Removed old fan method | 22 July 2016, 07:32:51 UTC |
908dac3 | Sebastian Gutsche | 22 July 2016, 07:32:30 UTC | Cleanup cones | 22 July 2016, 07:32:30 UTC |
73ddea7 | Sebastian Gutsche | 21 July 2016, 14:01:09 UTC | PolymakeInterface: Cleanup | 21 July 2016, 14:01:09 UTC |
fe5145e | Ewgenij Gawrilow | 16 July 2016, 19:24:41 UTC | Make PolymakeInterface build and run with post-3.0 polymake - add missing includes for C++14 - correct configuration of compiler - adjust to new syntax of big object methods and function calls - adjust to new signatures of lattice_tools - remove some superfluous data copying | 16 July 2016, 19:24:41 UTC |
46523d2 | Sebastian Gutsche | 20 June 2016, 19:48:44 UTC | Fixed printing in display | 20 June 2016, 19:48:44 UTC |
524dbf2 | Sebastian Gutsche | 20 June 2016, 09:37:49 UTC | Fixed up printing method | 20 June 2016, 09:37:49 UTC |
5196930 | Sebastian Gutsche | 16 June 2016, 12:24:01 UTC | Possible to add prewords to print string | 16 June 2016, 12:32:17 UTC |
47bde0d | Mohamed Barakat | 03 April 2016, 15:57:03 UTC | Merge pull request #20 from fingolfin/makedoc Start using AutoDoc() for homalg | 03 April 2016, 15:57:03 UTC |
6fa897e | Max Horn | 07 March 2016, 17:37:44 UTC | Replace ListOfDocFiles.g files Instead use AUTODOC_FindMatchingFiles to locate relevant files. | 07 March 2016, 17:39:15 UTC |
de728e6 | Max Horn | 07 March 2016, 17:21:21 UTC | Tweak makefiles Set .PHONY targets properly, and simplify doc target to always rebuild the manual (the old conditional rules for that could fail to recompile a manual) | 07 March 2016, 17:39:13 UTC |
bf08119 | Max Horn | 07 March 2016, 16:23:44 UTC | Add global .gitignore | 07 March 2016, 17:39:11 UTC |
b43a091 | Max Horn | 07 March 2016, 16:23:32 UTC | Remove CSS files | 07 March 2016, 17:39:10 UTC |
ceaf88e | Max Horn | 07 March 2016, 16:22:13 UTC | Change all makedoc.g to use AutoDoc | 07 March 2016, 17:39:07 UTC |
e0dfb1b | Max Horn | 07 March 2016, 15:20:17 UTC | Remove ToolsForHomalg.bin This was a duplicate of ToolsForHomalg.bib | 07 March 2016, 15:20:17 UTC |
0e5a017 | Mohamed Barakat | 02 March 2016, 11:51:07 UTC | Merge pull request #19 from sebasguts/master Adjusted dist script to match Max' changes | 02 March 2016, 11:51:07 UTC |
d1d1fcf | Sebastian Gutsche | 29 February 2016, 07:59:53 UTC | Adjusted dist script to match Max' changes | 02 March 2016, 11:51:27 UTC |
1a10650 | Mohamed Barakat | 17 February 2016, 10:40:07 UTC | Merge pull request #18 from sebasguts/master Some fixes | 17 February 2016, 10:40:07 UTC |
9db3bc9 | Sebastian Gutsche | 17 February 2016, 10:15:16 UTC | Changed Sage in Rings to comply to new sage standard | 17 February 2016, 10:27:10 UTC |