Activity
From 28 Apr 2017 to 27 May 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...
11 May 2017
- 13:15 Design #1063: Catching an (expected) error
- I am a bit uneasy about using the following paradigm more than absolutely necessary:...
- 12:54 Bug #1064 (Feedback): Bug in MinPolyModular (ugly prime)
- Completed similar checks for implicit as well.
Cleaned up, added tests for implicit.
- 10:49 Bug #1064: Bug in MinPolyModular (ugly prime)
- Added the error @ERR::CannotReconstruct@ and cleaned up the code accordingly (also for similar try/catch code in @Imp...
- 09:21 Bug #1064 (Resolved): Bug in MinPolyModular (ugly prime)
- fixed, cvs-ed
- 08:24 Bug #1064: Bug in MinPolyModular (ugly prime)
- I have some trouble writing a bit of code because I cannot redefine an ideal in another ring.
Should we allow that, ... - 10:57 Design #427: Error names and error messages (current design)
- Just a trivial task (but may be annoying).
Currently in @error.H@ we comment an error name with its string: isn't th... - 08:48 Design #1065: Design: should we allow an ideal to change ring?
- I managed to write my loop changing rings cleanly (modular computation).
While changing characteristic I forcily had... - 08:32 Design #1065: Design: should we allow an ideal to change ring?
- This would be convenient, but also potentially dangerous:
In the case of @RingElem@ the empty constructor gives 0 ... - 08:26 Design #1065 (Closed): Design: should we allow an ideal to change ring?
- I have some trouble writing a bit of code because I cannot redefine an ideal in another ring (changing characteristic...
10 May 2017
- 16:59 Bug #1064 (In Progress): Bug in MinPolyModular (ugly prime)
- The following fails for me:...
- 15:44 Bug #1064: Bug in MinPolyModular (ugly prime)
- and add test!
- 15:38 Bug #1064: Bug in MinPolyModular (ugly prime)
- https://cocoa.dima.unige.it/redmine/issues/1062#note-6
- 15:36 Bug #1064 (Closed): Bug in MinPolyModular (ugly prime)
- The (rare) error thrown by @apply@ for an ugly prime in MinPolyModular was not caught.
I fixed one, but look around ...
09 May 2017
- 15:42 Design #1063 (Feedback): Catching an (expected) error
- Found it (I had been confused by another unexpected error).
Easy: BTW I changed name to the error... - 15:23 Design #1063: Catching an (expected) error
- I had some trouble deciding *how* to catch an error:
I was expecting a possible problem in applying a partial hom, a... - 15:18 Design #1063 (Closed): Catching an (expected) error
- Decide how to catch and expected error, for example a "Cannot reconstruct rational"
08 May 2017
- 11:54 Support #944 (Closed): Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- 11:48 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- published manual on ResearchGate
- 08:34 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- updated web page
- 11:53 Design #829: PPOrderingCtor: name of mem fn which actually constructs?
- I see now that this was not done for the release.
Postpone to next.
05 May 2017
- 16:58 Design #1059: Printing ring for ideals (or just for ideals 0 and 1)
- Maybe we could add the ring anyway when we do @indent(I)@
JAA simultaneously wrote the following:
Anna suggested ... - 16:00 Design #1059: Printing ring for ideals (or just for ideals 0 and 1)
- I am not (yet?) convinced that this is the right thing to do, partly because I think it could easily make it (even) h...
- 14:31 Design #1059 (New): Printing ring for ideals (or just for ideals 0 and 1)
- Printing out an ideal gives no indication of the ring: @ideal(...)@.
For matrices we now write @matrix(/* ring descr...
04 May 2017
- 18:46 Support #1058 (Closed): CoCoALib version in Documentation and Examples
- pdf documentation has date, but no version number.
html and examples have no sign of either.
Fix it. - 18:42 Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- uploaded release, manual and examples
- 18:30 Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
- (The example is cvs-ed in the dir IdealsModp)
I had added a ludicrous number of (unused) indeterminates: the computa... - 18:25 Slug #1057 (In Progress): Slug: Polynomial ring contructor slow with (big) matrix ordering
- I have an example which shows that creating a SparsePolyRing with matrix ordering is slower than default ordering.
02 May 2017
- 14:55 Feature #253: W.Bruns's wish list
- Task (6): convert a ringelem to an integer or rational should be fairly easy via *@ConvertTo@*:
here is a simplistic...
29 Apr 2017
- 08:36 Feature #931 (Closed): GBasis verbose mode
- 08:35 Feature #1053 (Resolved): New function: IdealOfGBasis, IdealOfMinGens in CoCoALib
- Still missing: copy flags.
- 08:31 Feature #957 (Closed): New function: HasGBasis
28 Apr 2017
- 23:17 Feature #1050 (Closed): ExternalLibs: function for getting info
- While it may not be strictly correct to do it this way, I am closing this issue. We can proceed with the current imp...
- 17:02 Support #1056 (Closed): Release: CoCoALib-0.99560 (together with CoCoA-5.2.2)
- Everything related to making a CoCoALib release:
# Redmine Roadmap: close or postpone issue
# Redmine Release iss... - 16:14 Bug #228 (Closed): libcocoa sometimes built without its index
- Since Winfried does not recall anything about this issue, I think we can regard it as having been resolved at some po...
- 14:54 Bug #228: libcocoa sometimes built without its index
- I have completely forgotten what the problem was. I don't think it is relevant anymore.
- 13:49 Bug #228 (In Progress): libcocoa sometimes built without its index
- We should ask Winfried if this problem has arisen lately. I have never seen anything like it, and I suspect that Win...
- 11:12 Bug #228: libcocoa sometimes built without its index
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 16:05 Feature #1016 (Closed): ReducedGBasis for RingWeyl (and other non-commutative rings)
- Checked: interreduction does not depend on commutativity.
Cleaned up. Closing
- 15:17 Design #829: PPOrderingCtor: name of mem fn which actually constructs?
- John Abbott wrote:
> @NewLexOrdering(N)@ or @lex(N)@.
> I wonder whether we should simply eliminate the fn @NewLe... - 15:16 Design #822 (Closed): Should ElimMat return a ConstMatrix
- 15:03 Feature #253: W.Bruns's wish list
- An issue I stumbled on recently is 3) from my wish list. I think it is not yet implemented. Suppose I produce a polyn...
- 11:28 Feature #253: W.Bruns's wish list
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 13:37 Feature #573 (Closed): Use symbolic links for external libraries
- This has been in feedback for ages (more than 2 years). I have tested on various different Linus platforms, and Anna...
- 11:31 Feature #573: Use symbolic links for external libraries
- I think this is well tested now.
This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and... - 13:35 Feature #575: Investigate using cmake for configuration
- We should talk to the Normaliz people again to see what they think of @cmake@ after some time using it. I thought I ...
- 11:30 Feature #575: Investigate using cmake for configuration
- If I recall well someone (ICMS Seoul) suggested us to keep our handwritten configure.
This issue was under "CoCoA"... - 11:50 Design #933: Separate configure scripts for CoCoALib and CoCoA-5
- Oh, I am of the opposite opinion.
Whatever solution we adopt, it should be as easy as possible to configure and bu... - 11:27 Design #933: Separate configure scripts for CoCoALib and CoCoA-5
- I'd rather not.
First of all, it works as it is.
Secondly, CoCoALib and CoCoA-5 are strictly related: nice to keep ... - 11:27 Support #26: Redmine Administration
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:23 Design #752: Investigate using Boost.build instead of make
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:21 Support #574: Tidy CoCoA root directory
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:19 Design #360: CoCoAServer: what future, what issues?
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:18 Support #262: Play with GIT
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:17 Feature #255: Use BOOST lib default location if possible
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:11 Feature #37: matrix constructors
- This issue was under "CoCoA" instead of "CoCoALib".
I'm recovering these old and forgotten issues, so we reconsider ... - 11:06 Support #676 (In Progress): Credits to CoCoALib contributors
- I would like to make a page like this: (contributions to emacs)
[[http://gnu.huihoo.org/emacs/24.4/emacs-editor/Ackn... - 11:04 Design #855: Copyright and authorship?
- I'm slowly doing it:
we have contacted most contributors and obtained their permission.
Some have also sent the sig...
Also available in: Atom