Activity
From 04 May 2017 to 02 Jun 2017
23 May 2017
-
11:32 CoCoALib Slug #1049: GroebnerFan: slow examples
- Having 4 indets makes it easy to find "big" examples:...
-
08:46 CoCoA-5 Design #1075: LaTeX package: power-product printing
- I would define @space@ to the empty string if @[1] = MakeSet([ len(IndetName(X)) | X in indets(R) ]);@
(or some si... -
08:36 CoCoA-5 Bug #1062: IsRadical bug?
- John Abbott wrote:
> Does your test of @saturate@ in @anna.cocoa5@ compute a saturation with twin-float coeffs??
...
22 May 2017
-
23:29 CoCoA-5 Design #1075: LaTeX package: power-product printing
- Since CoCoA-5 allows indets with long names, I wanted to revise @LaTeX.cpkg5@ so that the product @x*y@ looks differe...
-
23:22 CoCoA-5 Design #1075 (Closed): LaTeX package: power-product printing
- I have just checked in a revised version of the LaTeX package:
* revised spacing between indets in a power-product (... -
22:44 CoCoA-5 Support #1074: CoCoAManual: entry for radical
- The following output is surprising (though correct)...
-
22:43 CoCoA-5 Support #1074 (Closed): CoCoAManual: entry for radical
- The CoCoAManual entry for @radical@ looks to be out of date.
It does not mention @radical(RINGELEM)@ and also stat... -
22:41 CoCoA-5 Bug #1062: IsRadical bug?
- Does your test of @saturate@ in @anna.cocoa5@ compute a saturation with twin-float coeffs??
I think you might want t... -
14:57 CoCoA-5 Feature #1073: RelNotes: current version or all previous versions?
- John Abbott wrote:
> A simple, backward-compatible solution would be to allow @Relnotes@ to accept 0 or 1 args. Wit... -
14:18 CoCoA-5 Feature #1073: RelNotes: current version or all previous versions?
- A simple, backward-compatible solution would be to allow @Relnotes@ to accept 0 or 1 args. With 0 args it prints out...
-
14:14 CoCoA-5 Feature #1073 (Closed): RelNotes: current version or all previous versions?
- Currently @RelNotes()@ prints out the release notes for all previous versions of CoCoA-5.
I think it could be help... -
14:45 CoCoALib 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 CoCoALib 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 CoCoALib Feature #813 (Closed): Implement "elim" in CoCoALib
- There is @myElim@. Maybe I meant making a _function_?
Easy, anyway.
-
13:52 CoCoALib 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...
-
10:45 CoCoA-5 Support #1071: LinKerBasis is user-unfriendly
- @LinKerBasis@ is the "sloppy" version of @LinKer@ (which only takes a MAT, returns a MAT).
We added LIST of linear...
19 May 2017
-
15:55 CoCoALib Slug #1049: GroebnerFan: slow examples
- ...
-
11:55 CoCoALib Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- I just removed the coefficients to John's last example:...
-
11:48 CoCoALib Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Just to clarify: this means that one cannot create this ring, hmmmmm.......
-
11:45 CoCoALib Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Here is another "slightly smaller" matrix whose determinant is zero mod 32749:...
-
11:16 CoCoALib Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Here is another example which gives trouble:...
18 May 2017
-
22:03 CoCoA-5 Feature #1072: syz: apply to ModuleElem?
- Is it right that @syz@ should give error if one of the coords is zero?...
-
21:59 CoCoA-5 Feature #1072: syz: apply to ModuleElem?
- The man page still calls th fn @Syz@ with a capital @S@; it should be @syz@, shouldn't it?
-
21:57 CoCoA-5 Feature #1072: syz: apply to ModuleElem?
- The current solution is to do the following:...
-
21:55 CoCoA-5 Feature #1072 (Rejected): syz: apply to ModuleElem?
- Would it make sense to allow @syz@ to be applied to a @ModuleElem@?...
-
21:50 CoCoA-5 Support #1071: LinKerBasis is user-unfriendly
- Should the manual page for @LinKerBasis@ also refer to the page for @syz@?
-
21:49 CoCoA-5 Support #1071: LinKerBasis is user-unfriendly
- I am not sure what is happening here:...
-
21:46 CoCoA-5 Support #1071: LinKerBasis is user-unfriendly
- The version that takes a list gives an unhelpful error when one component is zero:...
-
21:40 CoCoA-5 Support #1071 (In Progress): LinKerBasis is user-unfriendly
- What is @LinKerBasis@ supposed to do when given a list?...
-
21:31 CoCoA-5 Support #1071: LinKerBasis is user-unfriendly
- This is an unfriendly error message:...
-
21:29 CoCoA-5 Support #1071 (In Progress): LinKerBasis is user-unfriendly
- The CoCoA-5 function @LinKerBasis@ produces unhelpful error messages, and too many of them!
Part of the problem ma... -
21:00 CoCoALib 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:...
-
08:16 CoCoA-5 Bug #1062 (Feedback): IsRadical bug?
- added tests. CVS-ed
-
07:58 CoCoA-5 Bug #1062: IsRadical bug?
- Found it in @TmpGOperations.C@:
Saturation by @ideal(f)@ calls @factor(f)@ and wrongly assumes that the factor list ... -
07:40 CoCoA-5 Bug #1062: IsRadical bug?
- Bug (radical >0 dim) trapped by Elisa Palezzato...
17 May 2017
-
18:02 CoCoALib Slug #1057: Slug: Polynomial ring contructor slow with (big) matrix ordering
- ...
-
10:39 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Another smaller example (but not as small as Anna's)...
-
14:29 CoCoALib Bug #1069: GroebnerFan: ERROR: Matrix must be invertible
- Smaller example, but still too big...
-
11:37 CoCoALib Bug #1069 (In Progress): GroebnerFan: ERROR: Matrix must be invertible
- The following causes an error:...
-
13:47 CoCoALib 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 CoCoALib 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 CoCoALib 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 ... -
11:40 CoCoA-5 Slug #1068: PolyRing constructor: NewOrdvArith computed twice
- OK, Anna; take a look.
I'm a bit busy with other things right now.
-
11:33 CoCoA-5 Slug #1068: PolyRing constructor: NewOrdvArith computed twice
- Anna Maria Bigatti wrote:
> It would be handy to get the OrdvArith from a PPMonoid (if possible).
If John allows ... -
11:19 CoCoA-5 Slug #1068 (In Progress): PolyRing constructor: NewOrdvArith computed twice
- It would be handy to get the OrdvArith from a PPMonoid (if possible).
This could also be used internally by the GBas... -
10:35 CoCoA-5 Slug #1068 (In Progress): PolyRing constructor: NewOrdvArith computed twice
- We never considered that a slow ring constructor could be a problem, but may be.
In particular this bit of code:
<p... -
08:30 CoCoA-5 Bug #946: Function "ideal" evaluates the argument twice
- I made a test: "bug-EvalTwice.cocoa5" where we can collect all cases we meet, solved or unsolved.
16 May 2017
-
18:07 CoCoA-5 Bug #946 (Resolved): Function "ideal" evaluates the argument twice
- Found it! (and fixed most of them)
The problem is when using the hand functions @EvalArgAsT1OrT2..<..>(ARG(0), whic... -
17:22 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- John Abbott wrote:
> Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
> Is it not enough to specify... -
15:32 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- Why do you want to specify @lo@ and @hi@ for @RandomLinearForm@?
Is it not enough to specify a single value N and us... -
15:21 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- John Abbott wrote:
> There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
That's a kind... -
15:06 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- John Abbott wrote:
> But what about @BackwardCompatible.cpkg5@? How does it differ from @obsolescent.cpkg5@?
Und... -
13:20 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
-
11:35 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- There is also an undocumented fn called *@Rand@* in @misc.cpkg5@.
Should it be made obsolete? Or simply eliminated?... -
14:49 CoCoA-5 Design #943 (In Progress): Managing credits
- The function *@ExternalLibs()@* does not work properly. It must be fixed using the new CoCoALib fn.
15 May 2017
-
12:31 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- OK, I'll do it and check in tomorrow -- too busy today.
-
11:46 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- ok, you convinced me: let's declare Randomize(d) obsolete, and make (in case) explicit functions for random things.
-
11:17 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- We could create: @RandomLinearForm(P,100)@ or even @RandomLinearForm(P)@ if coeff ring is finite field.
-
10:59 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- @L := DensePoly(P,1); randomized(L, -100,100);@ is a nice way to make lots of random linear forms.
-
10:36 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- I thought @Randomize@ in CoCoA-4 would work only for polynomials (and integers). Did it also work for matrices?
K... -
07:48 CoCoA-5 Design #1067: "Randomize" and "Randomized" obsolete?
- I sometimes miss old @Randomized@.
I suggest implementing it, but with explicit range: @randomized(f, 100);@ random... -
12:28 CoCoALib Slug #1049: GroebnerFan: slow examples
- Here are two deg 5 binomial examples:...
-
10:40 CoCoALib Slug #1049: GroebnerFan: slow examples
- Here are some binomial examples of deg 4:...
-
12:16 CoCoALib 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...
-
10:25 CoCoA-5 Support #1027 (In Progress): CoCoAManual: add a page with some emacs hints?
- I suggest as a first version of the man page just to put in a reference to the website; not ideal, but better than no...
-
09:13 CoCoA-5 Support #1027: CoCoAManual: add a page with some emacs hints?
- Currently there is a web page (I've just improved it a bit).
http://cocoa.dima.unige.it/download/screenshots.shtml
...
14 May 2017
-
11:05 CoCoA-5 Feature #1011: Random seed fn
- I have implemented @reseed@, and written a manual page.
Not sure about making a test... I suppose I could make an ea... -
11:03 CoCoA-5 Design #1067 (In Progress): "Randomize" and "Randomized" obsolete?
- The old CoCoA-4 function @Randomize(F)@ is essentially equivalent to:...
-
10:57 CoCoA-5 Design #1067 (Closed): "Randomize" and "Randomized" obsolete?
- While looking through the CoCoA-5 on-line manual, I noticed that there are references to @Randomize@ and @Randomized@...
12 May 2017
-
18:20 CoCoALib 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 CoCoALib Support #1066 (In Progress): Documentation: translation table
- testing and sorting
-
09:52 CoCoALib Support #1066: Documentation: translation table
- Elisa Palezzato added the missing entries in the table (thanks!)
-
09:50 CoCoALib 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...
-
17:16 CoCoA-5 Feature #1011 (In Progress): Random seed fn
- The CoCoA-5 function *@random@* calls @random_forC5@ defined in @CoCoALibSupplement.C@.
Presumably @reseed@ can be d...
11 May 2017
-
16:48 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- Yes, the last example was deliberately strange; I do not think it matters if such a strange input works...
Maybe I... -
16:43 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- John Abbott wrote:
> I think my current preference is not to do anything "clever" with unusual chars: if the user ty... -
15:23 CoCoA-5 Feature #1021: CoCoA Manual: search should ignore multiple spaces
- Here are the special chars which I have noticed in the manual page headings (obtained by typing just *@?@*):
* comma... -
13:15 CoCoALib Design #1063: Catching an (expected) error
- I am a bit uneasy about using the following paradigm more than absolutely necessary:...
-
12:54 CoCoALib Bug #1064 (Feedback): Bug in MinPolyModular (ugly prime)
- Completed similar checks for implicit as well.
Cleaned up, added tests for implicit.
-
10:49 CoCoALib 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 CoCoALib Bug #1064 (Resolved): Bug in MinPolyModular (ugly prime)
- fixed, cvs-ed
-
08:24 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #1064 (In Progress): Bug in MinPolyModular (ugly prime)
- The following fails for me:...
-
15:44 CoCoALib Bug #1064: Bug in MinPolyModular (ugly prime)
- and add test!
-
15:38 CoCoALib Bug #1064: Bug in MinPolyModular (ugly prime)
- https://cocoa.dima.unige.it/redmine/issues/1062#note-6
-
15:36 CoCoALib 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 ... -
13:16 CoCoA-5 Bug #1062 (In Progress): IsRadical bug?
- When this is fixed remember to add some new tests to @exbugs.cocoa5@!
09 May 2017
-
15:42 CoCoALib 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 CoCoALib 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 CoCoALib Design #1063 (Closed): Catching an (expected) error
- Decide how to catch and expected error, for example a "Cannot reconstruct rational"
-
15:13 CoCoA-5 Bug #1062: IsRadical bug?
- The two bugs (0-dim and non-0-dim) are quite distinct.
Debugging the zero-dimensional example in the description o... -
11:58 CoCoA-5 Bug #1062: IsRadical bug?
- Smaller example...
-
11:54 CoCoA-5 Bug #1062: IsRadical bug?
- I'm not that surprised. Radical for non zero-dimensional ideals is not that robust.
I'm investigating
-
09:49 CoCoA-5 Bug #1062: IsRadical bug?
- This example triggers SEGV:...
-
09:47 CoCoA-5 Bug #1062: IsRadical bug?
- Aaargh!! Now I have a SEGV :-(...
-
09:44 CoCoA-5 Bug #1062: IsRadical bug?
- This example has simpler coeffs:...
-
09:43 CoCoA-5 Bug #1062 (Closed): IsRadical bug?
- I have an example where @IsRadical@ produces an error (when applying a RingHom)
*0-dimensional bug: related with Min...
08 May 2017
-
11:58 CoCoA-5 Support #1061 (Closed): Release: CoCoA-5.2.2
- Everything for the release
# Redmine Roadmap: close or postpone issue
# Redmine Release issues: check percentages... -
11:57 CoCoA-5 Support #851 (Closed): Release: CoCoA-5.2.0
-
11:57 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- Closing issue, cleaning up redmine
-
11:49 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- published manual on ResearchGate
-
11:48 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- updated list with undelivered emails
-
09:48 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- Sent email and notice on facebook page
-
11:54 CoCoALib Support #944 (Closed): Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
-
11:48 CoCoALib Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- published manual on ResearchGate
-
08:34 CoCoALib Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- updated web page
-
11:53 CoCoALib Design #829: PPOrderingCtor: name of mem fn which actually constructs?
- I see now that this was not done for the release.
Postpone to next.
06 May 2017
-
21:34 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- Another failed attempt to test the windows emacs version on my virtual machine...
+ some clarification in windows in...
05 May 2017
-
19:35 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- Trying to test windows release.
From shell it works.
From emacs I don't know: I do not have enough privilegies on t... -
18:54 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- Compiled on windows, improved script @release-win-fromMac.sh@.
Uploaded release for windows.
Updated install5 web p... -
15:56 CoCoA-5 Support #851: Release: CoCoA-5.2.0
- manual pdf and html uploaded
-
16:58 CoCoALib 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 CoCoALib 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 CoCoALib 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... -
16:21 CoCoA-5 Bug #1060: describe ring: add final newline
- The problem can be exhibited by doing:...
-
16:18 CoCoA-5 Bug #1060 (Closed): describe ring: add final newline
- In CoCoA-5, it might be nice if *@describe@* for a ring added a final newline.
-
10:36 CoCoA-5 Feature #708: ExternalLib Normaliz: verbose flag?
- Winfried Bruns wrote:
> I have thought about introducing three levels of verbosity: off, the most important steps, e... -
10:02 CoCoA-5 Feature #708 (Closed): ExternalLib Normaliz: verbose flag?
04 May 2017
-
18:46 CoCoALib 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 CoCoALib Support #944: Release: CoCoALib-0.99550 (together with CoCoA-5.2.0)
- uploaded release, manual and examples
-
18:30 CoCoALib 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 CoCoALib 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.
Also available in: Atom