| add2eca | Mohamed Barakat | 04 October 2017, 07:43:15 UTC | Merge pull request #31 from sebasguts/master Added license file to 4ti2Interface. | 04 October 2017, 07:43:15 UTC |
| e0cef90 | Sebastian Gutsche | 04 October 2017, 07:07:38 UTC | Added license file to 4ti2Interface. 4ti2Interface is now licensed under GPL2 or later. Closes #178. | 04 October 2017, 07:07:38 UTC |
| 73c87e3 | Mohamed Barakat | 03 October 2017, 16:10:14 UTC | fixed docu thanks Sebastian Gutsche | 03 October 2017, 16:10:14 UTC |
| ee30721 | Mohamed Barakat | 25 September 2017, 07:14:13 UTC | Merge branch 'mh/gauss' of https://github.com/fingolfin/homalg_project into devel * 'mh/gauss' of https://github.com/fingolfin/homalg_project: Update Gauss build system, remove CVS leftovers | 25 September 2017, 07:14:13 UTC |
| 69e06c0 | Max Horn | 12 September 2017, 15:19:17 UTC | Update Gauss build system, remove CVS leftovers | 12 September 2017, 15:19:17 UTC |
| 6847c3c | Mohamed Barakat | 10 September 2017, 15:02:29 UTC | increased version | 12 September 2017, 12:47:48 UTC |
| a32752f | Mohamed Barakat | 10 September 2017, 14:51:51 UTC | Get rid of GAP 4.4 compat code (closes issue #175) | 12 September 2017, 12:45:55 UTC |
| 671988b | Mohamed Barakat | 10 September 2017, 14:28:54 UTC | corrected typo (closes issue #114) | 12 September 2017, 12:45:55 UTC |
| bd38c57 | Mohamed Barakat | 10 September 2017, 12:00:50 UTC | InstallMethod( BaseDomain, [ IsHomalgMatrix ], 0, HomalgRing ); | 12 September 2017, 12:45:30 UTC |
| f9a4418 | Mohamed Barakat | 10 September 2017, 11:56:52 UTC | InstallMethod( Length, [ IsHomalgMatrix ], 0, NumberColumns ); | 12 September 2017, 12:45:30 UTC |
| a948d5a | Mohamed Barakat | 10 September 2017, 11:54:55 UTC | support NumberRows, NumberColumns | 12 September 2017, 12:45:30 UTC |
| 6d78f38 | Sebastian Gutsche | 06 September 2017, 09:48:28 UTC | Bumped package version for release. | 06 September 2017, 09:48:28 UTC |
| 6080c30 | Mohamed Barakat | 06 September 2017, 09:14:06 UTC | Merge pull request #30 from sebasguts/master Bugfix in release script and fix in ToolsForHomalg doku | 06 September 2017, 09:14:06 UTC |
| 9727289 | Sebastian Gutsche | 05 September 2017, 14:25:47 UTC | Removed wrong @BeginGroup in ToolsForHomalg-doku | 05 September 2017, 14:29:39 UTC |
| a25f81a | Sebastian Gutsche | 03 August 2017, 16:38:46 UTC | Fixes in homalg release skript | 05 September 2017, 14:25:31 UTC |
| 9a6c887 | Mohamed Barakat | 05 September 2017, 12:06:35 UTC | updated version of Gauss | 05 September 2017, 12:06:35 UTC |
| 08750cd | Mohamed Barakat | 05 September 2017, 10:10:09 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:10:09 UTC |
| 79768f9 | Mohamed Barakat | 05 September 2017, 10:09:35 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:09:35 UTC |
| 86f2d7e | Mohamed Barakat | 05 September 2017, 10:08:57 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:08:57 UTC |
| 63dec62 | Mohamed Barakat | 05 September 2017, 10:08:23 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:08:23 UTC |
| b9d32aa | Mohamed Barakat | 05 September 2017, 10:07:36 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:08:02 UTC |
| 488370b | Mohamed Barakat | 05 September 2017, 10:07:10 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:07:10 UTC |
| cd4097a | Mohamed Barakat | 05 September 2017, 10:05:37 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:06:40 UTC |
| 68debf4 | Mohamed Barakat | 05 September 2017, 10:05:12 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:05:12 UTC |
| 79d9b9a | Mohamed Barakat | 05 September 2017, 10:04:47 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:04:47 UTC |
| 84c86f9 | Mohamed Barakat | 05 September 2017, 10:04:22 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:04:22 UTC |
| ebb9744 | Mohamed Barakat | 05 September 2017, 10:03:45 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:03:45 UTC |
| c63f017 | Mohamed Barakat | 05 September 2017, 10:02:34 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:02:34 UTC |
| 2be2284 | Mohamed Barakat | 05 September 2017, 10:01:59 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:01:59 UTC |
| 66cf6ad | Mohamed Barakat | 05 September 2017, 10:01:42 UTC | recovered lost behavior `make doc' | 05 September 2017, 10:01:42 UTC |
| 10c0acb | Mohamed Barakat | 05 September 2017, 09:59:17 UTC | recovered lost behavior `make doc' | 05 September 2017, 09:59:17 UTC |
| 9c59243 | Mohamed Barakat | 04 September 2017, 15:37:03 UTC | added doc/manual.six | 04 September 2017, 15:37:03 UTC |
| 2f5ff9d | Mohamed Barakat | 04 September 2017, 15:36:54 UTC | ENTERs | 04 September 2017, 15:36:54 UTC |
| 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 |
