Activity
From 05 May 2017 to 03 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... -
- I do not understand: "closed" but progress is 10%.
Also your last comment suggests that there is still some design i... -
- There is @myElim@. Maybe I meant making a _function_?
Easy, anyway.
-
- While preparing an example of a simple ideal with a big "universal denominator" I encountered a number with about 330...
19 May 2017
-
- ...
-
- I just removed the coefficients to John's last example:...
-
- Just to clarify: this means that one cannot create this ring, hmmmmm.......
-
- Here is another "slightly smaller" matrix whose determinant is zero mod 32749:...
-
- Here is another example which gives trouble:...
18 May 2017
-
- Here are some order matrices with not-too-big entries whose det is a multiple of 32749:...
17 May 2017
-
- ...
-
- First problem found: @NewOrdvArith(ord)@ ic computed twice.
If @ord@ is defined by M, then many checks are done on M. -
- John Abbott wrote:
> Another approach would be to persuade GFan to produce matrices with smaller entries... this is ... -
- Another approach would be to persuade GFan to produce matrices with smaller entries... this is probably not so easy!
-
- The correct solution would be to have a proper implementation of matrix orderings without any "tricks" (too bad if it...
-
- John Abbott wrote:
> Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" ... -
- Here is a guess as to what the problem is... for matrix orderings there was some "funny trick" using a matrix reduced...
-
- Another smaller example (but not as small as Anna's)...
-
- Smaller example, but still too big...
-
- The following causes an error:...
-
- I just implemented a workaround:
I check det(M) before calling @RemoveRedundantRows@, if not 0 return M.
-
- The function @RemoveRedundantRows@ is quite slow because of the repeated calls to @rk@.
I had thought it was not imp... -
- Now I'm more inclined to keep @MakeTermOrd@ for CoCoA-5.
Possibly make a distinction in CoCoALib (where mat and ord ...
15 May 2017
-
- Here are two deg 5 binomial examples:...
-
- Here are some binomial examples of deg 4:...
-
- Changed the code so that ugly primes are detected cleanly from checking divisibility, instead of using try/catch. Ad...
12 May 2017
-
- cleaned up, looks good
http://cocoa.dima.unige.it/cocoalib/doc/CoCoATranslationTable.html
We still have to decide... -
- testing and sorting
-
- Elisa Palezzato added the missing entries in the table (thanks!)
-
- 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
-
- I am a bit uneasy about using the following paradigm more than absolutely necessary:...
-
- Completed similar checks for implicit as well.
Cleaned up, added tests for implicit.
-
- Added the error @ERR::CannotReconstruct@ and cleaned up the code accordingly (also for similar try/catch code in @Imp...
-
- fixed, cvs-ed
-
- I have some trouble writing a bit of code because I cannot redefine an ideal in another ring.
Should we allow that, ... -
- Just a trivial task (but may be annoying).
Currently in @error.H@ we comment an error name with its string: isn't th... -
- I managed to write my loop changing rings cleanly (modular computation).
While changing characteristic I forcily had... -
- This would be convenient, but also potentially dangerous:
In the case of @RingElem@ the empty constructor gives 0 ... -
- I have some trouble writing a bit of code because I cannot redefine an ideal in another ring (changing characteristic...
10 May 2017
-
- The following fails for me:...
-
- and add test!
-
- https://cocoa.dima.unige.it/redmine/issues/1062#note-6
-
- The (rare) error thrown by @apply@ for an ugly prime in MinPolyModular was not caught.
I fixed one, but look around ...
09 May 2017
-
- Found it (I had been confused by another unexpected error).
Easy: BTW I changed name to the error... -
- I had some trouble deciding *how* to catch an error:
I was expecting a possible problem in applying a partial hom, a... -
- Decide how to catch and expected error, for example a "Cannot reconstruct rational"
08 May 2017
-
-
- published manual on ResearchGate
-
- updated web page
-
- I see now that this was not done for the release.
Postpone to next.
05 May 2017
-
- Maybe we could add the ring anyway when we do @indent(I)@
JAA simultaneously wrote the following:
Anna suggested ... -
- I am not (yet?) convinced that this is the right thing to do, partly because I think it could easily make it (even) h...
-
- Printing out an ideal gives no indication of the ring: @ideal(...)@.
For matrices we now write @matrix(/* ring descr...
Also available in: Atom