Activity
From 12 May 2017 to 10 Jun 2017
23 May 2017
-
11:32 Slug #1049: GroebnerFan: slow examples
- Having 4 indets makes it easy to find "big" examples:...
22 May 2017
-
14:45 Feature #813 (In Progress): Implement "elim" in CoCoALib
- John Abbott wrote:
> I do not understand: "closed" but progress is 10%.
> Also your last comment suggests that ther... -
14:24 Feature #813: Implement "elim" in CoCoALib
- I do not understand: "closed" but progress is 10%.
Also your last comment suggests that there is still some design i... -
14:10 Feature #813 (Closed): Implement "elim" in CoCoALib
- There is @myElim@. Maybe I meant making a _function_?
Easy, anyway.
-
13:52 Feature #979: SmallestNonDivisor -- new fn
- While preparing an example of a simple ideal with a big "universal denominator" I encountered a number with about 330...
19 May 2017
-
15:55 Slug #1049: GroebnerFan: slow examples
- ...
-
11:55 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- I just removed the coefficients to John's last example:...
-
11:48 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Just to clarify: this means that one cannot create this ring, hmmmmm.......
-
11:45 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Here is another "slightly smaller" matrix whose determinant is zero mod 32749:...
-
11:16 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Here is another example which gives trouble:...
18 May 2017
-
21:00 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Here are some order matrices with not-too-big entries whose det is a multiple of 32749:...
17 May 2017
-
18:02 Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
- ...
-
10:39 Slug #1057 (In Progress): Slug: Polynomial ring contructor slow with (big) matrix ordering
- First problem found: @NewOrdvArith(ord)@ ic computed twice.
If @ord@ is defined by M, then many checks are done on M. -
15:52 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- John Abbott wrote:
> Another approach would be to persuade GFan to produce matrices with smaller entries... this is ... -
15:46 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Another approach would be to persuade GFan to produce matrices with smaller entries... this is probably not so easy!
-
15:45 Bug #1069 (In Progress): GroebnerFan: ERROR: Matrix must be invertible
- The correct solution would be to have a proper implementation of matrix orderings without any "tricks" (too bad if it...
-
15:39 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- John Abbott wrote:
> Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" ... -
15:18 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" using a matrix reduced...
-
15:09 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Another smaller example (but not as small as Anna's)...
-
14:29 Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Smaller example, but still too big...
-
11:37 Bug #1069 (In Progress): GroebnerFan: ERROR: Matrix must be invertible
- The following causes an error:...
-
13:47 Slug #1070: Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
- I just implemented a workaround:
I check det(M) before calling @RemoveRedundantRows@, if not 0 return M.
-
13:45 Slug #1070 (New): Slug: MakeTermOrd (rk calls in RemoveRedundantRows)
- The function @RemoveRedundantRows@ is quite slow because of the repeated calls to @rk@.
I had thought it was not imp... -
13:40 Design #854: Function MakeTermOrd should be renamed MakeTermOrdMat?
- Now I'm more inclined to keep @MakeTermOrd@ for CoCoA-5.
Possibly make a distinction in CoCoALib (where mat and ord ...
15 May 2017
-
12:28 Slug #1049: GroebnerFan: slow examples
- Here are two deg 5 binomial examples:...
-
10:40 Slug #1049: GroebnerFan: slow examples
- Here are some binomial examples of deg 4:...
-
12:16 Bug #1064: Bug in MinPolyModular (ugly prime)
- Changed the code so that ugly primes are detected cleanly from checking divisibility, instead of using try/catch. Ad...
12 May 2017
-
18:20 Support #1066: Documentation: translation table
- cleaned up, looks good
http://cocoa.dima.unige.it/cocoalib/doc/CoCoATranslationTable.html
We still have to decide... -
16:43 Support #1066 (In Progress): Documentation: translation table
- testing and sorting
-
09:52 Support #1066: Documentation: translation table
- Elisa Palezzato added the missing entries in the table (thanks!)
-
09:50 Support #1066 (In Progress): Documentation: translation table
- Originally the translation table was done because there was no cocoa-5 manual, and to show what we had ported from co...
Also available in: Atom