Project

General

Profile

Activity

From 14 May 2017 to 12 Jun 2017

12 Jun 2017

19:08 Bug #670 (Feedback): Error column indicator misaligned with non-printing (unprintable) characters
This has already been done (ages ago?).
Moving to "feedback".
John Abbott
18:27 Bug #1076: EmacsUI: interrupt copies line cursor is on to bottom then interrupts
Marked as low priority because it appears to be harmless, just "unsightly".
I suspect it may be a feature of @comint...
John Abbott
18:25 Bug #1076 (New): EmacsUI: interrupt copies line cursor is on to bottom then interrupts
Using Emacs, if you move the cursor away from the bottom line in the *@*cocoa5*@* buffer, and then interrupt a comput... John Abbott

07 Jun 2017

15:19 Feature #1011: Random seed fn
In the manual page I have given a simplistic example of calling @reseed@ with an argument which varies with the time:... John Abbott

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...
Anna Maria Bigatti
08:36 Bug #1062: IsRadical bug?
John Abbott wrote:
> Does your test of @saturate@ in @anna.cocoa5@ compute a saturation with twin-float coeffs??
...
Anna Maria Bigatti

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... John Abbott
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 (...
John Abbott
22:44 Support #1074: CoCoAManual: entry for radical
The following output is surprising (though correct)... John Abbott
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...
John Abbott
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...
John Abbott
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...
Anna Maria Bigatti
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... John Abbott
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...
John Abbott
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...
Anna Maria Bigatti

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?... John Abbott
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? John Abbott
21:57 Feature #1072: syz: apply to ModuleElem?
The current solution is to do the following:... John Abbott
21:55 Feature #1072 (Rejected): syz: apply to ModuleElem?
Would it make sense to allow @syz@ to be applied to a @ModuleElem@?... John Abbott
21:50 Support #1071: LinKerBasis is user-unfriendly
Should the manual page for @LinKerBasis@ also refer to the page for @syz@?
John Abbott
21:49 Support #1071: LinKerBasis is user-unfriendly
I am not sure what is happening here:... John Abbott
21:46 Support #1071: LinKerBasis is user-unfriendly
The version that takes a list gives an unhelpful error when one component is zero:... John Abbott
21:40 Support #1071 (In Progress): LinKerBasis is user-unfriendly
What is @LinKerBasis@ supposed to do when given a list?... John Abbott
21:31 Support #1071: LinKerBasis is user-unfriendly
This is an unfriendly error message:... John Abbott
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...
John Abbott
08:16 Bug #1062 (Feedback): IsRadical bug?
added tests. CVS-ed Anna Maria Bigatti
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 ...
Anna Maria Bigatti
07:40 Bug #1062: IsRadical bug?
Bug (radical >0 dim) trapped by Elisa Palezzato... Anna Maria Bigatti

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.
John Abbott
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 ...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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.
Anna Maria Bigatti

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...
Anna Maria Bigatti
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...
Anna Maria Bigatti
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...
John Abbott
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...
Anna Maria Bigatti
15:06 Design #1067: "Randomize" and "Randomized" obsolete?
John Abbott wrote:
> But what about @BackwardCompatible.cpkg5@? How does it differ from @obsolescent.cpkg5@?
Und...
Anna Maria Bigatti
13:20 Design #1067: "Randomize" and "Randomized" obsolete?
There is a commented out fn called @RandomLinearForm@ in @experimental.cpkg5@.
John Abbott
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?...
John Abbott
14:49 Design #943 (In Progress): Managing credits
The function *@ExternalLibs()@* does not work properly. It must be fixed using the new CoCoALib fn.
John Abbott

15 May 2017

12:31 Design #1067: "Randomize" and "Randomized" obsolete?
OK, I'll do it and check in tomorrow -- too busy today. John Abbott
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. Anna Maria Bigatti
11:17 Design #1067: "Randomize" and "Randomized" obsolete?
We could create: @RandomLinearForm(P,100)@ or even @RandomLinearForm(P)@ if coeff ring is finite field.
John Abbott
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. Anna Maria Bigatti
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...
John Abbott
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...
Anna Maria Bigatti
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... John Abbott
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
...
Anna Maria Bigatti

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...
John Abbott
11:03 Design #1067 (In Progress): "Randomize" and "Randomized" obsolete?
The old CoCoA-4 function @Randomize(F)@ is essentially equivalent to:... John Abbott
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@... John Abbott
 

Also available in: Atom