Project

General

Profile

Activity

From 14 May 2012 to 12 Jun 2012

12 Jun 2012

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

02 Jun 2012

23:21 Bug #118: unistd and call to access in Main.C
John Abbott wrote:
> Waiting for Anna's return to discuss the correctness/usefulness of allowing CoCoA-5 to run if t...
Anna Maria Bigatti
22:54 Bug #117: Added 3 times defn of isblank fn
John Abbott wrote:
> Maybe put @IsBlank@ into a file called *@C5utils@*?
> What do you think? Perhaps a few other fn...
Anna Maria Bigatti

01 Jun 2012

23:44 Bug #117: Added 3 times defn of isblank fn
Maybe put @IsBlank@ into a file called *@C5utils@*?
What do you think? Perhaps a few other fns could be moved there...
John Abbott
23:42 Bug #118: unistd and call to access in Main.C
Anna could you reply to my question in post 5?
I think it should be an error to start CoCoA without the packages. ...
John Abbott
23:33 Bug #148: C-c C-p in emacs goes to wrong line
NOTE the fn is called *@pop-to-buffer-cocoa5-source-find-error@*.
And also *@pop-to-buffer-cocoa5-source-find-X@*
...
John Abbott
23:18 Bug #171: Negate LIST, MAT,...
If *@N*X@* is valid (for @N@ integer, and @X@ of some type) then it makes perfect sense that @-X@ should be equivalen... John Abbott
18:09 Support #177 (In Progress): CoCoAManual: General part of the documentation is obsolete: update? discard?
A decision should be made about the general part of the documentation.
Probably we should reduce it considerably, ...
Anna Maria Bigatti
18:05 Support #176 (Closed): CoCoAManual: Doc for new commands
CoCoA-5 already offers a big collection of new functions and commands
(mainly listed in http://cocoa.dima.unige.it/c...
Anna Maria Bigatti
17:59 Bug #27 (Closed): CoCoA-5 Manual
I close this issue related with Elisa Fascio's work about reading and fixing all the "command" entries.
Still to d...
Anna Maria Bigatti
17:47 Feature #175 (In Progress): Approximate BuchbergerMoeller: port to CoCoA-5
It was available in CoCoA-4 through CoCoAServer.
What syntax should it offer? Probably the same as CoCoA-4.
Anna Maria Bigatti
17:41 Feature #173 (Rejected): Anonymous symbols: should they be available in CoCoA-5?
Latest addition in CoCoALib could also be useful in CoCoA-5...
but since @symbol@ is not a type in CoCoA-5 that coul...
Anna Maria Bigatti
17:36 Feature #172 (Closed): add customization for --fullCoCoALibError in EmacsUI
--fullCoCoALibError is a flag for CoCoAInterpreter.
When active any error gives the full description for CoCoALib de...
Anna Maria Bigatti

31 May 2012

18:58 Bug #159: Multiplicity sometimes wrong
Add also Dim&Mult for non-standard degree (or no degree, such as with @Lex@)
They are defined independently of the gr...
Anna Maria Bigatti
18:01 Bug #171 (New): Negate LIST, MAT,...
Negation ("-") is undefined for X, a list or matrix (and what else???)
However (-1)*X is allowed.
Should we defin...
Anna Maria Bigatti

30 May 2012

16:40 Bug #158 (Closed): May AsRAT produce an INT?
Done everything.
John Abbott
16:14 Bug #163 (Closed): RealRootsApprox bombs
I've contined to use *@RealRootsApprox@* intensively, and no further problems have come to light. So I'm closing thi... John Abbott
16:08 Feature #7: Automatic mapping between (some) rings
It would be handy to have a similar shortcut for homogeneous lists.
Also for ideals, but that raises the same questi...
John Abbott
13:09 Feature #7: Automatic mapping between (some) rings
Proposal for new "constructors": @R@ ring, @A@ matrix, @x@ ringelem (or powerproduct or ...), ... and what else?
*@M...
Anna Maria Bigatti

28 May 2012

11:57 Bug #110 (Closed): Surprise return type for GCD of a list of ints
Implemented *@IsTrueGCDDomain@*; the main cost was sorting out the consequential changes. Eliminated @ERR::NotGCDDom... John Abbott

25 May 2012

15:13 Bug #170 (Closed): CoCoAManual HTML: page for "Try"
I was not able to find the manual page for *@Try@* using the HTML version of the CoCoA-5 manual. I clicked on the "s... John Abbott
14:23 Support #169 (Closed): Font for parameters in manual
Often the description in the CoCoA manual refers to the formal parameters by name.
Should these names be put in a sp...
John Abbott
14:20 Bug #168 (Closed): Type info in CoCoA-5 manual
The manual entries in CoCoAHelp.xml include a collection of the types involved.
What convention should be used for t...
John Abbott
14:17 Feature #131 (Closed): Conversion from bool to INT
Implemented *@Bool01@* in the package @NotBuiltin.cpkg5@.
The fn *@Error@* (with capital @E@) is now built-in rather...
John Abbott
11:41 Feature #131 (In Progress): Conversion from bool to INT
After speaking to Anna about the various possibilities, she convinced me that the simplest approach is best (at least... John Abbott

24 May 2012

19:10 Bug #137 (Closed): JAA does not like the name IndetInd
Anna Maria Bigatti

23 May 2012

09:53 Bug #166 (Closed): Dim/Multiplicity with Lex ordering -- NYI
... John Abbott

21 May 2012

17:27 Bug #137: JAA does not like the name IndetInd
JAA talked to Anna. She liked @subscript@ and will implement.
John Abbott
15:54 Feature #131: Conversion from bool to INT
I don't like an automatic conversion.
We could write a conversion function *Bool01* (the shortest name I could think...
Anna Maria Bigatti
11:48 Feature #131: Conversion from bool to INT
Though I didn't say so explicitly previously, I believe that a truly *automatic* conversion from @BOOL@ to @INT@ is l... John Abbott

20 May 2012

13:28 Bug #163 (Resolved): RealRootsApprox bombs
I've modified RealRoots, and it seems to work now.
What puzzles me is that the bug came to light only today, even ...
John Abbott
12:41 Bug #163: RealRootsApprox bombs
Added a new C5 test file.
The RealRoots code is rather messy; I suppose it should be rewritten in C++. Any volunt...
John Abbott
11:30 Bug #163: RealRootsApprox bombs
The example I gave contains @FStar@ instead of @F@.
The bug is simply an unwarranted error; JAA does not believe the...
John Abbott
11:06 Bug #163 (Closed): RealRootsApprox bombs
The following lines produce an *@ERR::SERIOUS@* on my installation... John Abbott
11:25 Bug #164 (Closed): CoCoA-5 emacs interface bug (minor): Source & SourceRegion with troublesome filenames
By accident I created a filename containing a newline.
Sending the file to CoCoA-5 in emacs (by C-c C-f) produced th...
John Abbott

17 May 2012

21:41 Bug #110: Surprise return type for GCD of a list of ints
Anna Maria Bigatti wrote:
> So the best is *@IsTrueGCDDomain@* it is the shortest of the type @Is***GCDDomain@ (and ...
John Abbott
18:32 Bug #110: Surprise return type for GCD of a list of ints
> Almost all our suggestions are rather long; perhaps this does not matter so much? Maybe we should just choose one,... Anna Maria Bigatti
18:12 Bug #110: Surprise return type for GCD of a list of ints
Anna Maria Bigatti wrote:
> Another suggestion: *IsValidGCDDomain* (by L.Robbiano)
I'm not very convinced; I'd...
John Abbott
17:33 Bug #110: Surprise return type for GCD of a list of ints
John Abbott wrote:
> However, if we regard fields as not "gcd domains" then what name should be use to mean "gcd doma...
Anna Maria Bigatti
18:38 Bug #162 (Closed): RegularityIndex <= 0
RegularityIndex is not complete/correct... Anna Maria Bigatti

16 May 2012

18:20 Bug #110: Surprise return type for GCD of a list of ints
JAA believes that *@myGcdInField@* was created for the following reason.
In CoCoALib fields satisfy *@IsGCDDomain@...
John Abbott
16:15 Bug #110: Surprise return type for GCD of a list of ints
> JAA thinks that
> *we can compute GCDs between values of type @RAT@*
> should be equivalent to
> *we can compute GC...
Anna Maria Bigatti
15:36 Bug #110: Surprise return type for GCD of a list of ints
JAA thinks that
> *we can compute GCDs between values of type @RAT@*
should be equivalent to
> *we can compute...
John Abbott
15:31 Bug #110: Surprise return type for GCD of a list of ints
There is one other imstance where @myGCDInField@ is called.
*@ex-RingElem1@* attempts to compute a GCD in a field (a...
John Abbott
15:01 Bug #110: Surprise return type for GCD of a list of ints
JAA modified @RingBase::myGcdInField@ to give error rather than produce a result of 0/1. All CoCoALib tests passed, ... John Abbott

15 May 2012

22:51 Bug #159 (Resolved): Multiplicity sometimes wrong
Anna Maria Bigatti
19:54 Bug #159 (Closed): Multiplicity sometimes wrong
It seems to work OK for monomial ideals, but...... John Abbott
22:10 Bug #158: May AsRAT produce an INT?
JAA cannot find the manual page for *@AsRAT@* (ditto *@AsINT@*).
The only occurrence in @CoCoAHelp.xml@ is in a @<s...
John Abbott
21:13 Bug #158 (Resolved): May AsRAT produce an INT?
JAA has checked in the modified defn of *@AsRAT@*.
The question of the names of @AsRAT@ and @IsRational@ remains o...
John Abbott
17:41 Bug #158: May AsRAT produce an INT?
John Abbott wrote:
> It seems reasonable to me that *@AsRAT@* give either error or a @RAT@ as result -- after all it ...
Anna Maria Bigatti
15:16 Bug #158: May AsRAT produce an INT?
JAA has modified the defn of *@AsRAT@* so that it returns a @RAT@ even if the arg given was an @INT@. All the CoCoA-... John Abbott
15:04 Bug #158: May AsRAT produce an INT?
JAA was wondering how to convert a value of type @INT@ into the equivalent value of type @RAT@. Recall that arithmet... John Abbott
14:56 Bug #158: May AsRAT produce an INT?
*@AsRAT@* is defined at lines 31--39 of the file @NotBuiltin.cpkg5@.
[updating the defn should be pretty easy]
*B...
John Abbott
14:51 Bug #158: May AsRAT produce an INT?
It seems reasonable to me that *@AsRAT@* give either error or a @RAT@ as result -- after all it is a sort of "cast". ... John Abbott
16:52 Bug #110: Surprise return type for GCD of a list of ints
In CoCoALib we have the function @myGcdInField@, so we can compute gcd of elements in RingQQ. So, what shouldwe do i... Anna Maria Bigatti
16:17 Bug #110: Surprise return type for GCD of a list of ints
The code now works: *@type(gcd([2,3,4])@* is of type @INT@.
Also @lcm@ has been fixed accordingly.
It does not se...
Anna Maria Bigatti
15:32 Bug #110 (Resolved): Surprise return type for GCD of a list of ints
Anna Maria Bigatti

14 May 2012

15:03 Bug #110: Surprise return type for GCD of a list of ints
Anna thinks she can fix the reading of homogeneous lists; she will look into it in the next few days.
John Abbott
14:06 Bug #110: Surprise return type for GCD of a list of ints
JAA thinks that introducing a separate name for the function for computing GCD of integers is a *bad* idea because it... John Abbott
12:23 Bug #110: Surprise return type for GCD of a list of ints
JAA proposes that reading of homogeneous lists have three possible return types:
* list of @INT@
* list of @RAT@
*...
John Abbott
12:14 Bug #110: Surprise return type for GCD of a list of ints
Today some students passed with a CoCoA-5 problem which derived from the unexpected return type of *@gcd@* applied to... John Abbott
14:45 Bug #158 (Closed): May AsRAT produce an INT?
What type should the result of *@AsRAT(3)@* have?
At the moment @AsRAT@ returns an *@INT@* if its arg is of type *...
John Abbott
 

Also available in: Atom