CoCoA » CoCoA-5

22 Jan 2021

10:49 Design #1151 (Feedback): ConcatList or ConcatLists

John Abbott wrote:
> Personally I find the name @ConcatLists@ more "natural" because it concatenates many lists.
... Anna Maria Bigatti

09:58 Design #1568 (In Progress): RMap and image: obsolescent?

I thought @Rmap@ was completely obsolete.
It is defined in @coclib.cpkg5@ and exported.
It is also defined in @ra... John Abbott

09:52 Feature #531: Package protected variables should know which package protected them

There is a sort of redundancy in package @$anna@ putting a protection reason on the variable @$anna.var@.
It would... John Abbott

08:44 Feature #531: Package protected variables should know which package protected them

All done: works for @:=@, @unprotect@ and @define@.
The field @protectionReason@ is actually set, but for the comp... Anna Maria Bigatti

08:31 Feature #1174 (Feedback): package of a function --> of an identifier!

I'm now convinced that the only exception to the evaluation of the argument of a function should be @IsDefined@. The... Anna Maria Bigatti

08:23 Feature #346 (Feedback): Describe should indicate package name

Anna Maria Bigatti

21 Jan 2021

15:16 Bug #1567 (Resolved): Radical in non-zero char

I have found the problem and fixed it. Also done some cleaning inside @radical.cpkg5@
When are we moving this to C+... John Abbott

15:15 Bug #1567 (Closed): Radical in non-zero char

... John Abbott

13:46 Support #1566 (New): What does rad do?

It seems that CoCoA-5 has a function *@rad@*
What does it do? It is not documented.
John Abbott

19 Jan 2021

12:39 Feature #1469: Get indexed indets from a polyring

Hi,
I would highly appreciate such a function, however I think it would be even better if one must not first initial... Julian Danner

09:20 Feature #1564 (New): Geometrical theorem proving package

What is the stats of the _geometrical theorem proving_ package?
It seems the package is there, but the on-line man... John Abbott

15 Jan 2021

21:05 Design #1546 (Feedback): Improve 'describe' or 'print' for a function

This is now working fine (after Anna changed the impl of print in the interpreter). Moving to *feedback*.
John Abbott

20:56 Feature #346: Describe should indicate package name

Since @print@ and @sprint@ now produce the body of a CoCoA-5 function, it superfluous for @describe@ to do the same.
... John Abbott

20:52 Feature #346 (Resolved): Describe should indicate package name

*IMPORTANT*
* the @describe@ command describes a _value_ and not a _variable_;
* a fn defn *does not contain any in... John Abbott

09:13 Feature #346: Describe should indicate package name

Since Anna seems to have solved issue #1174, is it now possible to make progress here?
Since normal printing now p... John Abbott

20:42 Feature #531: Package protected variables should know which package protected them

In the source code indicated by Anna, there is a loop which sets @protectionReason@ (or some similar name).
These re... John Abbott

12:23 Feature #531: Package protected variables should know which package protected them

Anna Maria Bigatti wrote:
> There is something called @protectionReason@ but seems unset (very strange: the code for... Anna Maria Bigatti

10:39 Feature #531: Package protected variables should know which package protected them

modified also implementation of @unprotect@... Anna Maria Bigatti

10:30 Feature #531 (Feedback): Package protected variables should know which package protected them

Implemented: updated code of @CheckProtection@ (extra arg runtimeEnv) in Interpreter.C
(done it, before I forgot the... Anna Maria Bigatti

08:18 Feature #531: Package protected variables should know which package protected them

I might be able to fix this, see #1174 Anna Maria Bigatti

09:07 Feature #1174: package of a function --> of an identifier!

Well done! I suggest we accept the version taking a string for the time being (unless you can easily make a fn like ... John Abbott

08:29 Feature #1174: package of a function --> of an identifier!

Example:... Anna Maria Bigatti

08:11 Feature #1174: package of a function --> of an identifier!

should the name be @PackageOf@?
I have investigated: belonging to a package (variable) is a property of the variab... Anna Maria Bigatti

06:48 Bug #1531: CRASH: arithmetic with HilbertSeries (tagged object)

It (correctly) gives error both on right and left, no crash. Anna Maria Bigatti

11 Jan 2021

10:02 Bug #1560: elim for modules

Not sure how hard this might be. Does it suffice to create a poly ring with elim order, and then compute the GB for ... John Abbott

09:59 Bug #1560 (New): elim for modules

Bernhard Andraschko reported the following NYI:... John Abbott

08 Jan 2021

15:23 Feature #1516 (Resolved): substring function

I have written a (short) manual entry.
Should there be some tests? :-/
John Abbott

15:16 Feature #1516: substring function

I have written a first version (in @BuiltinFunctions.C@).
* name: *@substring@*; I prefer not to use @sbstr@ as th... John Abbott

13:06 Feature #1516 (In Progress): substring function

Start pos and length seem reasonable to me.
Should we also allow the version which goes to end of string? KISS: m... John Abbott

11:56 Bug #1539: Website: installation instructions for Microsoft

add the instruction written by Henry O'Keeffe Anna Maria Bigatti

11:53 Bug #1512 (Closed): Package with unexpected EOF

John Abbott

11:51 Design #1495 (Closed): Package exporting nothing?

Tested. OK. Anna Maria Bigatti

11:35 Feature #1509 (Closed): RingElems with empty input

Anna Maria Bigatti

11:31 Design #1546: Improve 'describe' or 'print' for a function

And also fix the manual. Anna Maria Bigatti

11:30 Design #1550 (Closed): version number for CoCoA5 snapshot release?

For snapshot releases: (Anna) remember to change the links in the webpage. Anna Maria Bigatti

11:28 Feature #1543 (Closed): Default path for packages

Anna Maria Bigatti

11:24 Design #1530 (Closed): VersionInfo -- better field names?

John Abbott

11:23 Support #1498 (Closed): Export many names or just one?

John Abbott

11:20 Slug #1556: DivAlg slower than NR

I checked: not as easy as I thought.
@NR@ is defined in @SparsePolyOps-RingElem.C@ and make use of ReductionCog. Th... Anna Maria Bigatti

11:19 Bug #1527 (Closed): Inadequate error message on incorrect list access

John Abbott