Project

General

Profile

Activity

From 17 Jan 2013 to 15 Feb 2013

15 Feb 2013

17:55 Support #314 (Closed): odd and even numbers for snapshots/official versions?
Should we use in cocoa-5 the rule odd and even numbers for snapshots/official versions?
(e.g. 5.0.3 is snapshot ;-)
Anna Maria Bigatti
16:28 Feature #78: Elim ordering and matrix ordering in CoCoA-5
added *HomogElimMat* and *ElimMat*, and documented.
Remark: JAA says that in the "::=" ring contructor we should h...
Anna Maria Bigatti
11:31 Feature #309: (Multi)BlockMatrix
If in the future we let users be more flexible with rings, it may be helpful to have a @BlockMat@ function which acce... John Abbott

14 Feb 2013

15:48 Feature #309: (Multi)BlockMatrix
How about renaming the current @BlockMat@ to *@BlockMat2x2@*,
and the new fn @MultiBlockMat@ to just plain *@BlockMa...
John Abbott
11:10 Feature #309 (Feedback): (Multi)BlockMatrix
Anna Maria Bigatti

13 Feb 2013

18:11 Feature #309: (Multi)BlockMatrix
added JAA's definition of MultiBlockMat into manual entry of BlockMat
(and also search keys)...
Anna Maria Bigatti
17:04 Feature #309: (Multi)BlockMatrix
John Abbott wrote:
> JAA wonders whether it might be appropriate to have a fairly general function for building matri...
Anna Maria Bigatti
16:37 Feature #309: (Multi)BlockMatrix
JAA wonders whether it might be appropriate to have a fairly general function for building matrices by blocks:... John Abbott
16:28 Feature #309: (Multi)BlockMatrix
added ConcatHorList, ConcatVerList and manual
Anna Maria Bigatti
14:31 Feature #309: (Multi)BlockMatrix
I thought about the code for the multi block matrix.
The input checking (size compatibility) would be *really tedious...
Anna Maria Bigatti
09:17 Feature #309: (Multi)BlockMatrix
We have this constructor for matrices:... Anna Maria Bigatti
08:57 Feature #309 (Closed): (Multi)BlockMatrix
It would be VERY HELPFUL to have a function, say MultiBlockMat, which takes several matrices in input and returns a m... Lorenzo Robbiano
10:13 Feature #200: add modules and module operations
added *FirstNonZeroPosn*, *homog(ModuleElem)* (for GradingDim=1) Anna Maria Bigatti
10:00 Feature #306: Function for accessing the pointed value
Implemented: seems to work fine. Example (in BuiltinFunctions.H)... Anna Maria Bigatti
08:52 Feature #306 (In Progress): Function for accessing the pointed value
Too many new functions for modules: I think I'd better start experimenting with this "shortcut" ;-)
I'll try the nam...
Anna Maria Bigatti

12 Feb 2013

16:15 Feature #273: Package for Polynomial Algebra Homomorphisms
Questions:
What names should we use? Why does @ker@ have such a long name & the others not?...
John Abbott
15:04 Design #292 (Feedback): Rename IndetsCalled to indets
Document order of entries in the list produced by @indets(R,"y")@.
Note also that @y[2]..y[3]@ gives all indets if...
John Abbott
14:29 Feature #306: Function for accessing the pointed value
JAA likes the proposal; cannot see any obvious objection (I wonder if the compiler will).
Other possible names: @G...
John Abbott
11:54 Feature #306 (Closed): Function for accessing the pointed value
We have many arguments like... Anna Maria Bigatti
12:06 Design #307 (Closed): Value::from makes BigIntValue::fromInt obsolete?
In BuiltinFunctions there are some calls like *BigIntValue::fromInt*, *BoolValue::fromBool* (others?).
But in othe...
Anna Maria Bigatti
11:57 Design #294: BuiltInFunctions: General "OneLiner" for arguments of different type
added also *evalArgAsT1orT2orT3orT4* and *evalArgAsT1orT2orT3orT4orT5*
Anna Maria Bigatti
11:03 Feature #200: add modules and module operations
added *LPP*, *LPosn*, *LT*, *wdeg* Anna Maria Bigatti

11 Feb 2013

16:16 Support #290: Which functions are defined in CoCoALibSupplement?
When add a new function it is good practice to have:
* in *BuiltinOneLiner.C* only functions using the "one-line" de...
Anna Maria Bigatti
15:35 Feature #237 (Feedback): port homog/homogenized for ideal to cocoa-5
Anna Maria Bigatti
11:54 Support #293 (Closed): Add CpuTime to C5 manual
Anna Maria Bigatti
11:49 Bug #226 (Closed): HilbertBasis segv
Anna Maria Bigatti

08 Feb 2013

18:12 Design #301 (Closed): How to obtain an integer from a finite field element? AsINT?
Let @X@ be a ring elem belonging to a finite field.
How can I get an integer value from @X@?
At the moment *@AsINT(...
John Abbott

30 Jan 2013

18:06 Feature #299 (New): GUI: message "running.." (close to output window?)
The message saying that cocoa is running should be close to the output window (instead of at the bottom)
Anna Maria Bigatti

25 Jan 2013

17:40 Bug #226: HilbertBasis segv
Definitely *@valgrind@* time!
I suppose the bug never revealed itself before because @malloc@ may well reserve sli...
John Abbott
15:40 Bug #226: HilbertBasis segv
Still some error (I guess of the same nature): this time triggered by... Anna Maria Bigatti
14:47 Bug #226 (Resolved): HilbertBasis segv
This was (one of) the bug(s?)... Anna Maria Bigatti

24 Jan 2013

16:28 Bug #226: HilbertBasis segv
I further reduced the error:... Anna Maria Bigatti
16:01 Bug #226 (In Progress): HilbertBasis segv
Here is some "simpler" CoCoA-5 code which triggers the problem:... John Abbott
14:23 Bug #102 (Feedback): Packages: should exported functions be automatically "Protect"ed?
JAA notes that _system protected_ variables cannot be unprotected (_e.g._ the variable *@QQ@*).
Internally the inter...
John Abbott
12:11 Support #296: Documentation for Parser/Interpreter
I have already assigned it to myself as I'm the one most using it Anna Maria Bigatti
11:42 Support #296: Documentation for Parser/Interpreter
I thought the most difficult question would be _who is going to do it?_
John Abbott
08:37 Support #296 (In Progress): Documentation for Parser/Interpreter
Even though the code is written quite well it would be handy to have some documentation ;-)
The most difficult quest...
Anna Maria Bigatti
08:28 Design #294: BuiltInFunctions: General "OneLiner" for arguments of different type
Not quite the dream solution, but I found this function making life easier:
*@evalArgAsT1orT2orT3@*...
Anna Maria Bigatti

23 Jan 2013

17:42 Bug #102 (In Progress): Packages: should exported functions be automatically "Protect"ed?
After considering typical use patterns, it makes most sense for *@Export@* to protect the exported names, and for *@D... John Abbott
15:40 Support #293 (Feedback): Add CpuTime to C5 manual
Anna Maria Bigatti
14:50 Bug #226: HilbertBasis segv
If you run the two offending lines in a fresh CoCoA-5 then C5 reports an error that @CurrentRing@ has no value! This... John Abbott
14:43 Bug #100: BringIn should map only the indets in its arg
We need a sort of _partial_ canonical hom which maps symbols which are not in the codomain to zero. Before applying ... John Abbott
12:51 Design #294 (Closed): BuiltInFunctions: General "OneLiner" for arguments of different type
one liner functions work like a dream (thanks Giovanni! ;-)
Is it possible to simplify writing the code for _overloa...
Anna Maria Bigatti
12:44 Feature #193: BuiltinFunctions.C getting too long (2000 lines)
Splitting the code seems to work very well.
Now I wonder whether I should also split BuiltinFunctions separating the...
Anna Maria Bigatti

22 Jan 2013

18:17 Feature #200: add modules and module operations
added zero(module), BaseRing(module), RingOf(module), RingOf(ModuleElem)
added stub documentation
Anna Maria Bigatti
17:17 Feature #200 (In Progress): add modules and module operations
added types MODULE and MODULEELEM.
added functions: NewFreeModule, arithmetics for type MODULEELEM.
Anna Maria Bigatti
17:19 Support #293 (In Progress): Add CpuTime to C5 manual
Anna Maria Bigatti
16:51 Support #293 (Closed): Add CpuTime to C5 manual
Add @CpuTime@ to CoCoA-5 manual.
Suggested keywords: time, cpu, timing, timer
John Abbott

17 Jan 2013

18:15 Design #292 (Closed): Rename IndetsCalled to indets
Rename *@IndetsCalled@* to *@indets@*.
Non-trivial because there is already a fn called *@indets@*
John Abbott
15:24 Feature #273: Package for Polynomial Algebra Homomorphisms
Giulia has produced a first version of the code for phi: R/I --> S/J.
For next time she will:
* change the ring name ...
John Abbott
 

Also available in: Atom