Activity
From 05 May 2017 to 03 Jun 2017
23 May 2017
- 08:46 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 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 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 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 Support #1074: CoCoAManual: entry for radical
- The following output is surprising (though correct)...
- 22:43 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 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 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 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 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... - 10:45 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...
18 May 2017
- 22:03 Feature #1072: syz: apply to ModuleElem?
- Is it right that @syz@ should give error if one of the coords is zero?...
- 21:59 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 Feature #1072: syz: apply to ModuleElem?
- The current solution is to do the following:...
- 21:55 Feature #1072 (Rejected): syz: apply to ModuleElem?
- Would it make sense to allow @syz@ to be applied to a @ModuleElem@?...
- 21:50 Support #1071: LinKerBasis is user-unfriendly
- Should the manual page for @LinKerBasis@ also refer to the page for @syz@?
- 21:49 Support #1071: LinKerBasis is user-unfriendly
- I am not sure what is happening here:...
- 21:46 Support #1071: LinKerBasis is user-unfriendly
- The version that takes a list gives an unhelpful error when one component is zero:...
- 21:40 Support #1071 (In Progress): LinKerBasis is user-unfriendly
- What is @LinKerBasis@ supposed to do when given a list?...
- 21:31 Support #1071: LinKerBasis is user-unfriendly
- This is an unfriendly error message:...
- 21:29 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... - 08:16 Bug #1062 (Feedback): IsRadical bug?
- added tests. CVS-ed
- 07:58 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 Bug #1062: IsRadical bug?
- Bug (radical >0 dim) trapped by Elisa Palezzato...
17 May 2017
- 11:40 Slug #1068: PolyRing constructor: NewOrdvArith computed twice
- OK, Anna; take a look.
I'm a bit busy with other things right now.
- 11:33 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 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 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 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 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 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 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 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 Design #1067: "Randomize" and "Randomized" obsolete?
- John Abbott wrote:
> But what about @BackwardCompatible.cpkg5@? How does it differ from @obsolescent.cpkg5@?
Und... - 13:20 Design #1067: "Randomize" and "Randomized" obsolete?
- There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
- 11:35 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 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 Design #1067: "Randomize" and "Randomized" obsolete?
- OK, I'll do it and check in tomorrow -- too busy today.
- 11:46 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 Design #1067: "Randomize" and "Randomized" obsolete?
- We could create: @RandomLinearForm(P,100)@ or even @RandomLinearForm(P)@ if coeff ring is finite field.
- 10:59 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 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 Design #1067: "Randomize" and "Randomized" obsolete?
- I sometimes miss old @Randomized@.
I suggest implementing it, but with explicit range: @randomized(f, 100);@ random... - 10:25 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 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 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 Design #1067 (In Progress): "Randomize" and "Randomized" obsolete?
- The old CoCoA-4 function @Randomize(F)@ is essentially equivalent to:...
- 10:57 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
- 17:16 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 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 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 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...
10 May 2017
- 13:16 Bug #1062 (In Progress): IsRadical bug?
- When this is fixed remember to add some new tests to @exbugs.cocoa5@!
09 May 2017
- 15:13 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 Bug #1062: IsRadical bug?
- Smaller example...
- 11:54 Bug #1062: IsRadical bug?
- I'm not that surprised. Radical for non zero-dimensional ideals is not that robust.
I'm investigating
- 09:49 Bug #1062: IsRadical bug?
- This example triggers SEGV:...
- 09:47 Bug #1062: IsRadical bug?
- Aaargh!! Now I have a SEGV :-(...
- 09:44 Bug #1062: IsRadical bug?
- This example has simpler coeffs:...
- 09:43 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 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 Support #851 (Closed): Release: CoCoA-5.2.0
- 11:57 Support #851: Release: CoCoA-5.2.0
- Closing issue, cleaning up redmine
- 11:49 Support #851: Release: CoCoA-5.2.0
- published manual on ResearchGate
- 11:48 Support #851: Release: CoCoA-5.2.0
- updated list with undelivered emails
- 09:48 Support #851: Release: CoCoA-5.2.0
- Sent email and notice on facebook page
06 May 2017
- 21:34 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 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 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 Support #851: Release: CoCoA-5.2.0
- manual pdf and html uploaded
- 16:21 Bug #1060: describe ring: add final newline
- The problem can be exhibited by doing:...
- 16:18 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 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 Feature #708 (Closed): ExternalLib Normaliz: verbose flag?
Also available in: Atom