Project

General

Profile

Activity

From 05 Jun 2012 to 04 Jul 2012

04 Jul 2012

14:44 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
Should we also separate builtin function from external libs? (I think so)
if so, should we have
*BuiltinFunctionsNo...
Anna Maria Bigatti
14:25 Feature #204 (Closed): NmzComputation: the powerful NormalizComputation function in CoCoA-5
Proposal for most powerful/flexible function to access *Normaliz* capabilities
(specific functions like *NormalizHil...
Anna Maria Bigatti
10:03 Feature #185 (Closed): Banner for CoCoA-5
Anna Maria Bigatti
09:50 Bug #98 (Closed): RealRoots should use IsRational
No further problems have surfaced, so closing the issue.
John Abbott
09:44 Bug #201 (Closed): segmentation fault with function defined in package ("PrintHGIndices"): First and Last
Also *First([])* and *Last([])* were buggy: fixed
Anna Maria Bigatti
09:14 Bug #201 (Resolved): segmentation fault with function defined in package ("PrintHGIndices"): First and Last
The problem is in the function *First(L,N)* when N is larger than the length of L.
Fixed.
Anna Maria Bigatti

03 Jul 2012

14:56 Bug #201 (Closed): segmentation fault with function defined in package ("PrintHGIndices"): First and Last
Whatever the user error is, CoCoA should never crash. Investigate.... Anna Maria Bigatti

29 Jun 2012

18:53 Feature #200 (Closed): add modules and module operations
We have modules in CoCoALib.
Just mimick ideals to add modules..... will it be that easy?
Probably we'll have som...
Anna Maria Bigatti
11:09 Support #187: CoCoA-5 (partial) releases: make the process simpler
Problem for the GUI release:
even though it works reasonably well, there is a bug related to the fact that (by defau...
Anna Maria Bigatti
10:03 Support #198 (New): Appunti per (eventuale) tesi triennale Informatica: CoCoA GUI
Per chiarirci le idee prima di spargere la voce...
*relatore Informatica*: Giovanni Lagorio? Paola Magillo?
*ge...
Anna Maria Bigatti

28 Jun 2012

19:27 Support #187: CoCoA-5 (partial) releases: make the process simpler
added to script generation of pre-release for cocoa-5.0.3 for Mac emacs
(and made pre-release)
Anna Maria Bigatti

26 Jun 2012

12:56 Feature #185: Banner for CoCoA-5
John Abbott wrote:
> Will we use the banner in the GUI?
I think it is nice to have something looking like "I'm re...
Anna Maria Bigatti
08:14 Feature #185: Banner for CoCoA-5
I placed the definition of the banner in the files *Banner.[CH]*.
I do not like adding a separate file for such a sm...
Anna Maria Bigatti
11:24 Support #187: CoCoA-5 (partial) releases: make the process simpler
I have the first "complete" version of *cocoa5-cvs-snapshot*.
* It assumes the cvs copy in my "0.99/snapshot" directo...
Anna Maria Bigatti
08:05 Bug #197: ./C5.bin: fork: Resource temporarily unavailable
I've found this bug (among the other "surprise" and rare occurrences) is caused by *make; make;* which seemed to occ... Anna Maria Bigatti
07:54 Bug #197 (Closed): ./C5.bin: fork: Resource temporarily unavailable
Sometimes we get this mysterious message when starting the GUI.... Anna Maria Bigatti

25 Jun 2012

12:38 Support #187: CoCoA-5 (partial) releases: make the process simpler
I've created on my computer a "snapshot" directory for the "current cvs snapshot" where I should compile (and also ge... Anna Maria Bigatti

22 Jun 2012

17:30 Bug #192: indent prints strings without quotes
Another problem... Anna Maria Bigatti

21 Jun 2012

16:24 Slug #191: Slow lex gbasis
John Abbott wrote:
> No idea why it was so slow before :-(
I had a similar problem to what you described yesteray...
Anna Maria Bigatti
16:14 Feature #19: How to get the version number of CoCoA-5?
I think this latest proposal is a good start. It contains the most useful information, and the names of the fields a... John Abbott
15:14 Feature #19: How to get the version number of CoCoA-5?
... Anna Maria Bigatti
14:08 Feature #19: How to get the version number of CoCoA-5?
I suggest removing the @CoCoA@ prefix from the compilation date, the compiler name, and the compilation options.
I...
John Abbott
10:55 Feature #19: How to get the version number of CoCoA-5?
see above Anna Maria Bigatti
15:17 Bug #194 (Closed): Unhandled CoCoALib error: mixed rings with IsIn operator (for ideal membership)
I changed the relevant lines (near 2910) in @Interpreter.C@:... John Abbott
15:13 Bug #194 (Closed): Unhandled CoCoALib error: mixed rings with IsIn operator (for ideal membership)
CoCoALib produces a "mixed rings" error in the following example; CoCoA-5 does not intercept the error at the level o... John Abbott
12:39 Feature #193: BuiltinFunctions.C getting too long (2000 lines)

> I think we have to make two variables *@vector<NameFunPair> builtIns;@*
You can probably keep a single variabl...
Giovanni Lagorio
12:26 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
One proposal for splitting is
- file A: general macros and templates
- file B: all oneliners (the easy ones) with...
Anna Maria Bigatti
11:21 Feature #193 (Closed): BuiltinFunctions.C getting too long (2000 lines)
Can we split BuiltinFunctions.C so that it is easier to update and faster to compile? Anna Maria Bigatti

20 Jun 2012

16:20 Slug #191 (Closed): Slow lex gbasis
I did @make veryclean@; sync with CVS, and @make@.
Now mine takes about a minute too... very odd!
No idea why it ...
John Abbott
09:32 Slug #191 (In Progress): Slow lex gbasis
John Abbott wrote:
> The following example comes from an exercise I gave during _Algebra Computazionale_
> [...]
>...
Anna Maria Bigatti
14:21 Bug #192 (Closed): indent prints strings without quotes
Compare these... Anna Maria Bigatti
14:11 Feature #19: How to get the version number of CoCoA-5?
How to get the (string) values out of *BuildInfo.C* ?
At the moment there is...
Anna Maria Bigatti

19 Jun 2012

18:22 Slug #191 (Closed): Slow lex gbasis
The following example comes from an exercise I gave during _Algebra Computazionale_... John Abbott
17:10 Feature #19 (Feedback): How to get the version number of CoCoA-5?
added VersionInfo.
fixed documentation.
This could also return the other info in BuildInfo (such as compilation f...
Anna Maria Bigatti
17:07 Feature #184 (Closed): MAT/INT ? MAT/RINGELEM ?
I have added "division by a scalar" for matrices and lists; not added anything to the documentation, nor any example/... John Abbott
15:03 Feature #184: MAT/INT ? MAT/RINGELEM ?
Claudia reports that @Matlab@ allows the user to write @M/2@ to mean @(1/2)*M@. JAA finds this reassuring because it... John Abbott
16:55 Feature #185 (Feedback): Banner for CoCoA-5
The function is called *PrintCoCoA5Banner*.
I'm checking it all in.
If by default it is printed badly in teh GUI we...
Anna Maria Bigatti
16:44 Bug #189 (Closed): malloc ERROR
The cause of the problem is a design bug in CoCoALib (see issue #190).
As a consequence I shall close this issue.
...
John Abbott
14:33 Bug #189 (In Progress): malloc ERROR
If you add... John Abbott
14:06 Bug #189: malloc ERROR
@Valgrind@ even complains about the following two lines!!... John Abbott
13:47 Bug #189: malloc ERROR
According to *@valgrind@* the following input is enough to do damage:... John Abbott
12:51 Bug #189: malloc ERROR
I finally reduced the example: (quite a lot reduced ;-)
it seems due to having both a redefinition of the PolyRing a...
Anna Maria Bigatti
11:04 Bug #189: malloc ERROR
The problem appears to be a *@RingHomValue@* in the interpreter which has a reference to a CoCoALib *@RingHom@* which... John Abbott
09:46 Bug #189: malloc ERROR
Laura's code works fine on my Linux VM.
However, *@Valgrind@* confirms that there is a memory access problem (seems ...
John Abbott

18 Jun 2012

17:18 Feature #188: CoCoAManual: entries for operators
John Abbott wrote:
> How would a student find out what @><@ means in CoCoA?
> How to have manual pages for operator...
Redmine Admin
15:10 Bug #189: malloc ERROR
Recompiled with MemPool debugging and linking with @debug_new.o@
The problem disappears... this may be enough to let...
John Abbott
14:32 Bug #189 (Closed): malloc ERROR
I get the following error... Laura Torrente
10:58 Feature #19: How to get the version number of CoCoA-5?
John Abbott wrote:
> @Anna: could you explain your preference for two separate functions rather than a single functi...
Anna Maria Bigatti

15 Jun 2012

17:38 Feature #184 (In Progress): MAT/INT ? MAT/RINGELEM ?
I have asked some students (and colleagues) about writing @M/2@ where @M@ is a matrix. The replies were quite varied... John Abbott
16:53 Support #187: CoCoA-5 (partial) releases: make the process simpler
I believe the Linux kernel uses odd/even version numbers to distinguish between public releases and interim versions.... John Abbott

14 Jun 2012

16:55 Bug #186 (Closed): LCM(0,x)
Added new test *@test-RingElem1@* which currently just does some simple sanity checks on @gcd@ and @lcm@.
Cleaned ...
John Abbott
14:28 Bug #186: LCM(0,x)
Fixed the wrong result -- it was a bug in CoCoALib.
Fixed the type error (in @Builtin.C@) but fix is rather *ugly*.
...
John Abbott
14:37 Feature #188 (Closed): CoCoAManual: entries for operators
How would a student find out what @><@ means in CoCoA?
How to have manual pages for operators in CoCoA?
Here is a...
John Abbott
14:24 Feature #19: How to get the version number of CoCoA-5?
@Anna: could you explain your preference for two separate functions rather than a single function?
JAA has a (mild...
John Abbott

13 Jun 2012

19:00 Feature #19: How to get the version number of CoCoA-5?
I added a mechanism to make it simple to change the date in the manual.
So that *? CoCoAManVersion* prints the ver...
Anna Maria Bigatti
17:16 Feature #19: How to get the version number of CoCoA-5?
I added the functions *CoCoAVersion()* and *CoCoALibVersion()*.
Before I cvs it all in, how should the "version" fil...
Anna Maria Bigatti
17:32 Support #187 (Closed): CoCoA-5 (partial) releases: make the process simpler
It is reasonably easy now to make a new CoCoALib (snapshot) release.
On the other hand making a new CoCoA-5 is *quit...
Anna Maria Bigatti

12 Jun 2012

00:43 Bug #186 (Closed): LCM(0,x)
... John Abbott
21:50 Feature #19: How to get the version number of CoCoA-5?
John Abbott wrote:
> Should the field be called *@CoCoA5@* or just simply *@CoCoA@*?
> JAA prefers *@CoCoA@*. Its ...
Anna Maria Bigatti
21:47 Feature #184: MAT/INT ? MAT/RINGELEM ?
John Abbott wrote:
> Common sense says that if you can do @M*(1/X)@ then you ought to be able to do @M/X@ (and get th...
Anna Maria Bigatti
21:43 Feature #185: Banner for CoCoA-5
John Abbott wrote:
> Should "5" be part of the banner?
I think so: it is quite different from CoCoA-4, so we'd be...
Anna Maria Bigatti
21:41 Bug #171: Negate LIST, MAT,...
I agree to exclude @MATRIXROW@ and @RECORD@
> Can we create values of type @VECTOR@? Are they the same as @Module...
Anna Maria Bigatti

11 Jun 2012

20:03 Bug #171: Negate LIST, MAT,...
Scalar multiplication could be useful for:... John Abbott
11:04 Bug #171: Negate LIST, MAT,...
Added scalar mult on the right & unary minus for matrices in C5.
John Abbott
10:37 Bug #171: Negate LIST, MAT,...
Added scalar multiplication on the right (for matrices) to CoCoALib.
John Abbott
10:02 Bug #171: Negate LIST, MAT,...
John Abbott wrote:
> I've just added *@operator-@* (scalar multiple by -1) to @MatrixArith@.
>
> Contrary to my s...
Anna Maria Bigatti
19:53 Feature #184: MAT/INT ? MAT/RINGELEM ?
Common sense says that if you can do @M*(1/X)@ then you ought to be able to do @M/X@ (and get the same result!). If ... John Abbott
11:13 Feature #184 (Closed): MAT/INT ? MAT/RINGELEM ?
We can comupte INT*MAT, more recently also MAT*INT.
Should we also allow MAT/INT?
(was not allowed in CoCoA-4)
A...
Anna Maria Bigatti
19:43 Feature #185: Banner for CoCoA-5
Should "5" be part of the banner?
John Abbott
13:45 Feature #185: Banner for CoCoA-5
Will we use the banner in the GUI?
It might be tricky to make it look good if/when the user changes font.
The pro...
John Abbott
12:05 Feature #185 (Closed): Banner for CoCoA-5
I suggest this banner for CoCoA-5... Anna Maria Bigatti
19:41 Feature #19: How to get the version number of CoCoA-5?
Should the field be called *@CoCoA5@* or just simply *@CoCoA@*?
JAA prefers *@CoCoA@*. Its value will be a string...
John Abbott
14:35 Feature #19: How to get the version number of CoCoA-5?
John Abbott wrote:
> Strictly, each package should have its own version number (maybe they already do in the source ...
Anna Maria Bigatti
13:42 Feature #19: How to get the version number of CoCoA-5?
Strictly, each package should have its own version number (maybe they already do in the source text?) I'm not sure i... John Abbott
12:03 Feature #19: How to get the version number of CoCoA-5?
John Abbott wrote:
> I agree that the version number should be in the executable.
>
> If the version number is in...
Anna Maria Bigatti
11:06 Feature #183: Template for unaryMinus?
Unary minus is implemented via a member fn -- JAA does not know why it was implemented in this way.
John Abbott
10:56 Feature #183 (New): Template for unaryMinus?
In Interpreter.C there are templates for *opEqual*, *opStar*, ...
Can we have a similar template for *unaryMinus*?...
Anna Maria Bigatti

10 Jun 2012

01:03 Bug #171: Negate LIST, MAT,...
I've just added *@operator-@* (scalar multiple by -1) to @MatrixArith@.
Contrary to my suggestion that multiplicat...
John Abbott
22:41 Bug #171: Negate LIST, MAT,...
John Abbott wrote:
> If *@N*X@* is valid (for @N@ integer, and @X@ of some type) then it makes perfect sense that @-...
Anna Maria Bigatti
22:32 Bug #171: Negate LIST, MAT,...
*-M* is not available in CoCoALib whereas
@matrix operator-(ConstMatrixView Mleft, ConstMatrixView Mright)@
is.
Sh...
Anna Maria Bigatti

08 Jun 2012

22:11 Bug #118: unistd and call to access in Main.C
I have improved the warning message when the default package directory is not accessible (for text UI, and GUI).
T...
John Abbott
19:30 Bug #182 (Closed): Unescaped double quote inside superstring
The parser goes into a strange state if an unescaped double quote character is found inside a superstring. It correc... John Abbott
19:03 Feature #19: How to get the version number of CoCoA-5?
Anna Maria Bigatti wrote:
> * disadvantages: I think the version number should be in the executable
> * advantage...
John Abbott
18:28 Feature #19 (In Progress): How to get the version number of CoCoA-5?
Something we had talked about:
cocoa-4 used to load the file *init.coc*.
I've found a _tappullo_: call this file *...
Anna Maria Bigatti
17:23 Bug #159 (Closed): Multiplicity sometimes wrong
Anna Maria Bigatti
17:20 Bug #162 (Closed): RegularityIndex <= 0
Anna Maria Bigatti
17:11 Support #179: TeX documentation for CoCoA-5
* revived the old code and removed (for the moment) the inclusion of the horribly obsolete chapters/sections/tutorial... Anna Maria Bigatti
17:05 Support #176: CoCoAManual: Doc for new commands
added *apply*, *wdeg*, *PolyAlgebraHom*
removed *WeightsList*
Anna Maria Bigatti
08:41 Support #181 (New): Functions throwing error even though (trivially) defined
we should make a catalogue of cases where we choose (for safety of the user) to throw an error even though there is a... Anna Maria Bigatti

07 Jun 2012

23:37 Feature #173: Anonymous symbols: should they be available in CoCoA-5?
Here are a couple of suggestions which do not require manipulating @symbol@ directly. If these two fns cover almost ... John Abbott
23:25 Support #176: CoCoAManual: Doc for new commands
Can I set the assignee to Anna Bigatti? :-)
Well, anyone so long as it is not me :-)
John Abbott
19:41 Support #176: CoCoAManual: Doc for new commands
Added manual for *NewPolyRing*, *GradingDim*, *RealoadMan* (not yet cvs-ed) Anna Maria Bigatti
23:22 Bug #118: unistd and call to access in Main.C
Anna's point about almost everything (eventually) being built-in is valid; I was forgetting that. Also my "note" in ... John Abbott
20:01 Support #179 (Closed): TeX documentation for CoCoA-5
Make makefile target for *texdoc*.
Check that it is created nicely (quotes, dollars, ...)
Anna Maria Bigatti
18:48 Bug #162 (Resolved): RegularityIndex <= 0
Anna Maria Bigatti
18:31 Feature #128 (Closed): wordlist.txt generation
In adding the target to the makefile I cleaned up the manual related targets.
I'm not sure if I did it 100% right (i...
Anna Maria Bigatti
 

Also available in: Atom