Project

General

Profile

Activity

From 01 Jul 2014 to 30 Jul 2014

30 Jul 2014

17:29 Feature #600: efficient subalgebras
We are also working an efficient algorithm for implicitization.
Keep that in mind for this issue, or make a new issue.
Anna Maria Bigatti
17:23 Feature #600 (New): efficient subalgebras
There are many tools to deal with subalgebras (see @toric@ and @normaliz@), so it would make sense to design a nice i... Anna Maria Bigatti
17:22 Feature #590 (Feedback): package for subalgebras
Resumed package (slight design change, documented)
It will be imrpoved, but that's beyond this task scope.
Anna Maria Bigatti
17:20 Feature #359: RingOf for list
The function in CoCoA-5 is already done and called @RingSet@ (see manual) but I'm not happy with the name: should I c... Anna Maria Bigatti

29 Jul 2014

16:26 Design #403: Misuse of dot-dot operator
the error message was indeed a bit puzzling in some cases now it is:... Anna Maria Bigatti
12:31 Design #403: Misuse of dot-dot operator
Giulia's problem could be neatly resolved by allowing the following syntax *@L[2..4]@* to mean @[L[k] | k in 2..4]@. ... John Abbott
12:04 Design #403 (Rejected): Misuse of dot-dot operator
My main concern is the (possibly) unexpected behaviour illustrated in example *@(B)@* in comment 1. However, for a l... John Abbott
11:54 Design #403: Misuse of dot-dot operator
The main action taken was to clarify the manual entry for ".."; it is now quite clear, and even mentions Giulia's inc... John Abbott
07:28 Design #403: Misuse of dot-dot operator
I suggest to reject this issue.
@A..B@ works for A and B integers or indeterminates in the order of their definition...
Anna Maria Bigatti
09:31 Feature #273 (Closed): Package for Polynomial Algebra Homomorphisms
Anna Maria Bigatti
09:29 Feature #484 (In Progress): Evaluate in other ring (was called :: in CoCoA-4)
Anna Maria Bigatti

28 Jul 2014

21:50 Bug #382 (Closed): Subtle bug with CoeffEmbeddingHom
This is no longer a problem (after resolving issue #190). Closing.
PS I have added the example to @exbugs.cocoa5@.
John Abbott
17:48 Feature #173 (Rejected): Anonymous symbols: should they be available in CoCoA-5?
Anna Maria Bigatti
17:44 Feature #20 (Closed): How to get the compilation flags of CoCoA-5?
Compilations flags are given by @VersionInfo()@ Anna Maria Bigatti
17:41 Design #412: intersection (all lower case)
The clean solution would be to have @intersect@ doing what @Intersection@ used to do.
Problem is @intersect@ for IDE...
Anna Maria Bigatti
17:12 Slug #99 (Feedback): Function "insert": obsolescent
Documented as obsolescent Anna Maria Bigatti
17:01 Feature #25: Function "Call"
It is now officially documented as OBSOLETE, so I close this issue. Anna Maria Bigatti
16:44 Feature #485: Initialization for CoCoA-5: file init.cocoa5
the general @init@ file now works well.
I don't think there is a particular need for a user init file.
I regard thi...
Anna Maria Bigatti
16:35 Feature #330 (Closed): Syzygy for modules: homogeneous module
Anna Maria Bigatti
16:28 Design #476: Review utility of package IO
I don't think we should eliminate it.
In time, we can see what can be useful and advertized (low priority)
Anna Maria Bigatti
16:20 Feature #512: Resurrect MakeCheck()
Undecided, needs more thinking. Not urgent Anna Maria Bigatti
11:48 Design #597 (New): Interpreter.C: remove calls to WrongTypeException
Anna Maria Bigatti
11:48 Bug #524 (Closed): BuiltInFunctions: remove calls to WrongTypeException
There are a few more @WrongTypeException@ left in @Interpreter.C@.
Those are of a slightly different nature and shou...
Anna Maria Bigatti
10:55 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
Changed also also PtrCast into RefTo<..>
cvs-ed
Anna Maria Bigatti

25 Jul 2014

19:50 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
added templates for @RefTo<..>@. Anna Maria Bigatti
16:16 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
Now all @switch@ following @EvalArgAsT1or...@ have a default case giving and error.
This is good for maintenance: if...
Anna Maria Bigatti
12:53 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
Another possible name is *@UnwrapBigInt@*. I think it conveys the idea that the @BigInt@ is hidden inside the object... John Abbott
09:11 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
First pass is mostly done (BigIntValue --> INT, and similar).
I'm a bit undecided about a few other types like @OSTR...
Anna Maria Bigatti
08:51 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
John Abbott wrote:
> I'm not entirely convinced by the names @PtrCastIDEAL@ etc.
> It is true that the arg is a "po...
Anna Maria Bigatti
08:47 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
I started the change: there is no name clash problem with the class @INT@ :-)
... at least with gcc :-/
Anyway: in ca...
Anna Maria Bigatti
08:19 Support #488: CoCoAManual: Help page for porting old C4 code to C5
John Abbott wrote:
> I'd like a name which more clearly expresses that it is for converting "old" C4 code to C5.
Ind...
Anna Maria Bigatti

24 Jul 2014

21:19 Design #595 (In Progress): rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
Certainly the excerpt from @BuiltinOneLiners@ is very clear.
We have already spoken about the use of @default@ in ...
John Abbott
18:56 Support #488: CoCoAManual: Help page for porting old C4 code to C5
I'd like a name which more clearly expresses that it is for converting "old" C4 code to C5. We may even need some hi... John Abbott
18:19 Support #488: CoCoAManual: Help page for porting old C4 code to C5
I went through the translation table and I updated it (almost complete now :-)
.... I was just wondering: should w...
Anna Maria Bigatti
18:00 Bug #378 (In Progress): Ungraceful behaviour: Source inside For loop
I found where (I looked for @TT_FOR@, in @Parse.C@) to give a proper error (if we decide to disable it) or to enable ... Anna Maria Bigatti
10:38 Bug #378: Ungraceful behaviour: Source inside For loop
From Alexandru Costantinescu (who used @source@ in loops in cocoa-4)
> I am using a data base of Hilbert functions, ...
Anna Maria Bigatti
10:34 Bug #378: Ungraceful behaviour: Source inside For loop
A few more details: I ran this line... Anna Maria Bigatti
17:52 Feature #579: Prototype package for Linear Commutative Algebra
First functions 2014-07-23
(MinMult, AlgMult, GeoMult, ...)
Anna Maria Bigatti
09:56 Feature #596 (Closed): function "packages"
all done Anna Maria Bigatti
09:55 Feature #596 (Closed): function "packages"
implement function "packages" for list of loaded packages.
Anna Maria Bigatti

23 Jul 2014

12:38 Design #595: rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
This is how some lines in @BuiltinOneLiners@ would look... Anna Maria Bigatti
12:30 Design #595 (Closed): rename BigIntValue, IdealValue --> INTValue, IDEALValue? or even INT, IDEAL?
In the interpreter (@AST.H@) we have the definition of the classes @BlahValue@, for example
@BigIntValue@, @IdealVal...
Anna Maria Bigatti

22 Jul 2014

15:59 Bug #594 (Feedback): CharPoly(MAT) and MinPoly(MAT) work in different settings: unify behaviaour
all done (also documented) Anna Maria Bigatti
12:46 Bug #594 (Closed): CharPoly(MAT) and MinPoly(MAT) work in different settings: unify behaviaour
They should both work both with M in K or in Kx (but not dependent on x)... Anna Maria Bigatti
12:44 Feature #173: Anonymous symbols: should they be available in CoCoA-5?
Now I'm incline to say "no" and reject the issue: too much hassle for very little use.
@NewSymbol()/NewSymbols(n)@ a...
Anna Maria Bigatti
12:38 Feature #492: New C5 fn for adjusting the warning level
John Abbott wrote:
> This should be easy (but you never know!).
> Moving to after Easter as it is unimportant.
I...
Anna Maria Bigatti
09:42 Design #491: Cleaning: Cruft in CoCoA-5 packages
This task will never be closed (when would we ever be able to say that? ;-)
So, let's say that we start deleting obs...
Anna Maria Bigatti
09:40 Feature #512: Resurrect MakeCheck()
It should be easy enough to implement if we can get the path of the tests.
This works for me (as an example)...
Anna Maria Bigatti
09:32 Feature #487: ScalarProduct accepts MatrixRow?
I think it is possible, but tedious work. Is it worth the effort?
Anna Maria Bigatti
09:19 Bug #132: BringIn should allow reduction modulo p
now works in some cases, e.g. the one in the description ;-)
More precisely it works if the coefficient ring (of the...
Anna Maria Bigatti
08:47 Design #476: Review utility of package IO
At the moment it is only exporting @format@ (which I find quite useful).
I updated @Format/format@ and checked the m...
Anna Maria Bigatti
08:27 Design #546: ideal wants LIST of RINGELEM
It was easy to fix it for @ideal([x,0,y]);@.
I re-designed the function for @ideal@ a bit.
I renamed @evalArgAsRing...
Anna Maria Bigatti
07:44 Feature #518 (Feedback): incr/decr functions: to be used in packages
All done (I think).
If/when we make += it'll be easy to search for incr/decr
Anna Maria Bigatti

21 Jul 2014

18:39 Bug #279 (Feedback): Bug in Radical (actually a RingHom problem)
found the bug: usual ref-count bug on RINGHOM.
Found a few more little bugs in the way ;-)
Anna Maria Bigatti

18 Jul 2014

16:08 Feature #518: incr/decr functions: to be used in packages
John Abbott wrote:
> "incr" is most used in @list.cpkg5@ for @QuickSort1@ and @QuickSortBy1@.
I updated the code ...
Anna Maria Bigatti
12:55 Bug #543 (Feedback): Interpreter: problem when calling the manual with trailing spaces and comments
done Anna Maria Bigatti
10:15 Support #522 (Feedback): Manual: duplication in "see also" and "All other matches"
Seems ok on @round@ and @indets@.
(code in @OnlineHelp@ is pretty horrible, but it works)
Anna Maria Bigatti
09:06 Bug #524 (Feedback): BuiltInFunctions: remove calls to WrongTypeException
All done (@ascii@, @apply@, @ContentWRT@, @CoefficientWRT@).
Changed priority to high because I'm presenting this in...
Anna Maria Bigatti

16 Jul 2014

19:01 Bug #524: BuiltInFunctions: remove calls to WrongTypeException
Done BaseRing. I'll do the rest tomorrow
Anna Maria Bigatti
15:51 Bug #34: CoCoAManual: obsolete entries in the manual
Yes, obsolescent functions should give some warning that they are going to disappear (and presumably what to do inste... John Abbott
15:40 Bug #34: CoCoAManual: obsolete entries in the manual
Remember that obsolescent functions should be moved to the package @obsolescent.cpkg5@.
Now they all works silently....
Anna Maria Bigatti
15:37 Bug #34 (Feedback): CoCoAManual: obsolete entries in the manual
Done. Rule for maintaining it.
(1) Add [OBSOLETE] or [OBSOLESCENT] in the title of obsolete/obsolescent functions, ...
Anna Maria Bigatti
15:18 Support #488 (Resolved): CoCoAManual: Help page for porting old C4 code to C5
I set a manual chapter for these kind of information.
It is called <title>Migrating from CoCoA-4 and keeping up-to...
Anna Maria Bigatti
13:43 Support #488: CoCoAManual: Help page for porting old C4 code to C5
OK
John Abbott
12:44 Support #488: CoCoAManual: Help page for porting old C4 code to C5
John Abbott wrote:
> I have added a manual page entitled *@updating CoCoA-4 code@*; and another entitled *@CoCoA-4 m...
Anna Maria Bigatti
12:32 Bug #566 (Closed): Online help: problem with "<>"
Anna Maria Bigatti
12:27 Feature #590 (Closed): package for subalgebras
In cocoa-4 there was a package to compute with subalgebras.
Restore it.
Anna Maria Bigatti

15 Jul 2014

18:14 Feature #588 (Feedback): Resume code for "gin" (generic initial ideal)
Done in package.
Implemented only using twin-floats with range [-10^6, 10^6].
No point in offering more flexibility...
Anna Maria Bigatti
15:42 Feature #588 (Closed): Resume code for "gin" (generic initial ideal)
Resurrect code for "gin", and implement it in cocoalib Anna Maria Bigatti
14:38 Bug #34: CoCoAManual: obsolete entries in the manual
John Abbott wrote:
> I propose adding @OBSOLETE@ (in capitals) as the first word of the title;
I made it all capi...
Anna Maria Bigatti
13:48 Bug #34: CoCoAManual: obsolete entries in the manual
I think your suggestion is a good one.
I propose adding @OBSOLETE@ (in capitals) as the first word of the title; t...
John Abbott
12:37 Bug #34: CoCoAManual: obsolete entries in the manual
Anna Maria Bigatti wrote:
> I added the key "obsolete".
> now
> [...]
> gives the list of obsolete commands (whi...
Anna Maria Bigatti
12:27 Design #525 (Feedback): BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
cvs-ed
Anna Maria Bigatti
11:02 Design #525 (Resolved): BuiltInFunctions: evalArgAsT1OrT2, evalArgAsT1OrT2OrT3, ... last argument
We agreed that it would be handy to have the same interface for
*evalArgAsT1orT2* and *evalArgAsT1orT2orT3*.
The la...
Anna Maria Bigatti

14 Jul 2014

18:17 Support #559 (Closed): Release: CoCoA-5.1.0
I did this work a long time ago, but never got to deal with the GUI for windows.
No longer makes sense now: going fo...
Anna Maria Bigatti
18:09 Design #493 (Feedback): Cleanup Hilbert package hp.cpkg5
resurrected and documented functions *HilbertSeriesShifts* and *HilbertSeriesMultiDeg*
they are just shortcuts to av...
Anna Maria Bigatti
10:32 Feature #273 (Feedback): Package for Polynomial Algebra Homomorphisms
checked in documentation.
Next step (new issue): port it into cocoalib.
Anna Maria Bigatti
09:26 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
*ReadExpr* documented, cvs-ed
(updated entry for RingElem)
Anna Maria Bigatti
08:22 Feature #484: Evaluate in other ring (was called :: in CoCoA-4)
In CoCoALib we can read expressions from strings with *ReadExpr(RING, STRING)*.
I'm going to add it to cocoa-5 so you...
Anna Maria Bigatti

11 Jul 2014

14:35 Feature #273: Package for Polynomial Algebra Homomorphisms
- cleaned up into a package
- tests included in Makefile
- documentation still missing (should be just a minor fix ...
Anna Maria Bigatti

04 Jul 2014

12:12 Support #548: Printing rings with ID
John Abbott wrote:
> Should this issue be in CoCoA-5 or CoCoALib?
I think it can stay in CoCoA-5 because it is ea...
Anna Maria Bigatti
11:39 Support #548: Printing rings with ID
Should this issue be in CoCoA-5 or CoCoALib?
You are right that there is no global register of rings currently. W...
John Abbott
10:50 Support #548: Printing rings with ID
John Abbott wrote:
> I'm still not happy with the name of @RingID@; the name makes me think that it *gets* the ID fr...
Anna Maria Bigatti

03 Jul 2014

13:28 Support #548: Printing rings with ID
I'm still not happy with the name of @RingID@; the name makes me think that it *gets* the ID from a ring, rather than... John Abbott
11:41 Support #548: Printing rings with ID
added function ID for RING Anna Maria Bigatti
11:29 Support #548: Printing rings with ID
what about this: (verbose, but not more than before the ID change)
I like it! .... but there is the problem of too m...
Anna Maria Bigatti
09:05 Support #548: Printing rings with ID
John Abbott wrote:
> Yesterday Christof suggested that @ZZ@ and @QQ@ should always be printed that way (rather than ...
Anna Maria Bigatti
08:56 Support #548: Printing rings with ID
Yesterday Christof suggested that @ZZ@ and @QQ@ should always be printed that way (rather than @ring(0)@ and @ring(1)... John Abbott
08:40 Support #548: Printing rings with ID
fixed all tests, but we should still discuss on the output.
For example ...
Anna Maria Bigatti

02 Jul 2014

18:42 Support #548: Printing rings with ID
mostly done.... now I should update all the failing tests.... tomorrow Anna Maria Bigatti
17:21 Support #548: Printing rings with ID
John Abbott wrote:
> allow @RingID@ to have an optional second arg which is a string giving some info about the ring ...
Anna Maria Bigatti
17:19 Support #548: Printing rings with ID
Talked about this with Christof. Here's an idea we had:
allow @RingID@ to have an optional second arg which is a st...
John Abbott
16:54 Design #532 (Closed): New package: OBSOLESCENT
Anna Maria Bigatti
16:45 Support #456: CoCoAManual: New structure for manual?
Strictly related with #177 Anna Maria Bigatti
16:40 Support #177: CoCoAManual: General part of the documentation is obsolete: update? discard?
This was a very general issue: now split in more issues (mostly already closed in 5.1.0) Anna Maria Bigatti
16:29 Bug #34 (Resolved): CoCoAManual: obsolete entries in the manual
I added the key "obsolete".
now ...
Anna Maria Bigatti
16:11 Design #567 (Closed): Emacs UI: coloured syntax in output buffer has problems if error message shows a single double-quote
No comments so another quick check and ... closing!
Anna Maria Bigatti
16:08 Bug #566 (Feedback): Online help: problem with "<>"
it's fine for me too... maybe we changed the code for some other reason and fixed this as a side effect.
Anna Maria Bigatti
16:03 Bug #397 (Closed): EMACS UI: fix windows splitting
This is discussed (and solved) in #464
Instead of trying to be clever now there are two entries in the CoCoA-5 menu ...
Anna Maria Bigatti
14:31 Feature #561: Emacs UI: unrecognized keywords (ImportByValue...)
fixed @ImportBy..@ and also @package@ (lower-case)
major cleaning of keyword strings (so that they almost none is wr...
Anna Maria Bigatti
11:47 Feature #579 (In Progress): Prototype package for Linear Commutative Algebra
Write a prototype package for the algorithms described in the new Kreuzer-Robbiano book.
[related with Elisa Palezza...
Anna Maria Bigatti
11:43 Support #398 (Closed): Resurrect Relnotes()
Anna Maria Bigatti

01 Jul 2014

17:09 Feature #578 (In Progress): Gaussian Elimination
The procedures @SwapRows@ and @SetRow@ were already available.
Now they are in the manual.
Anna Maria Bigatti
17:06 Feature #578 (In Progress): Gaussian Elimination
In CoCoALib we have some functions for Gaussian Elimination.
Choose which and how to make them available at CoCoA-5 ...
Anna Maria Bigatti
17:02 Feature #464 (Feedback): Emacs UI: split horizontally instead of vertically?
Anna Maria Bigatti
17:02 Feature #464: Emacs UI: split horizontally instead of vertically?
I slightly improved the menu so that it indicates which splitting is defined.
(with a tick next to side-by-side or t...
Anna Maria Bigatti
 

Also available in: Atom