CoCoA » CoCoA-5

12 Feb 2021

12:19 Bug #724 (Resolved): RationalSolve: wrongly complains about non zero-dim even in finite char

The example from issue #723 is way too slow to act as a test case -- do we have a more sane test case? How about the... John Abbott

12:16 Feature #723: Referring to indets with multiple indices from a polyring

The example in comment 2 is slow because it takes along time to test @IsZeroDim@ _i.e._ compute a GB.
I stopped th... John Abbott

11:54 Slug #1270 (Feedback): RationalSolve: use MinPolyQuot instead of elim

I have just tried the example from comment 5, and @RationalSolve@ is now tolerably fast (less than 2s).
John Abbott

11 Feb 2021

00:13 Support #1252: ShapeLemma: no manual entry

What is the status of this issue?
John Abbott

00:12 Bug #1573 (Resolved): ApproxSolve: very imprecise

I have now added an extra loop which checks the values of the polys at the points found.
If the values are not "heur... John Abbott

00:08 Bug #1216 (Feedback): RationalSolve: gives wrong answer

I have implemented the new field names, and updated doc, tests, manual.
New state: Feedback. John Abbott

17:56 Bug #1216: RationalSolve: gives wrong answer

> Possible names are *@AffinePts@* and *@ProjectivePts@* (or *@ProjPts@*).
I vote for *@AffinePts@* and *@Projecti... Anna Maria Bigatti

10 Feb 2021

21:33 Bug #1216: RationalSolve: gives wrong answer

Feedback and constructive criticism are welcome!
I'd like to close this issue soon.
John Abbott

21:28 Bug #1216: RationalSolve: gives wrong answer

Now I wonder what the names of the fields in the records should be.
It may be sensible to use different names for th... John Abbott

20:50 Bug #1216: RationalSolve: gives wrong answer

Anna has approved the suggestion in comment 13 (just above) about returning a record.
Now I must impl, and revise th... John Abbott

09 Feb 2021

15:22 Bug #727: Emacs UI: send-file (C-c C-f) should check if buffer and file are synchronized

I got caught out by this just a short while ago.
I have searched on internet, but there does not seem to be an eas... John Abbott

05 Feb 2021

15:41 Bug #1216: RationalSolve: gives wrong answer

I am wondering about changing the return value of @RationalSolve@ into a record, _e.g._
*currently* we get... John Abbott

04 Feb 2021

21:05 Bug #1216: RationalSolve: gives wrong answer

I have modified my copy of the code. It now behaves more "predictably".
*@RationalSolve@* now searches only for _... John Abbott

03 Feb 2021

17:48 Bug #1574: ApproxSolveTF

I have set the target version as 5.3.6, but maybe it could be postponed?
It is a bit strange that the solution [0,... John Abbott

17:46 Bug #1574 (New): ApproxSolveTF

@ApproxSolveTF@ is not documented. Maybe that is a good thing...... John Abbott

17:26 Bug #1216: RationalSolve: gives wrong answer

I now think it might be better to avoid the "clever" function @RationalSolve@ which tries to guess whether it should ... John Abbott

31 Jan 2021

10:43 Bug #1216: RationalSolve: gives wrong answer

Bernhard Andraschko reportes the following:... John Abbott

30 Jan 2021

20:17 Bug #1573: ApproxSolve: very imprecise

The example was deliberately chosen to be hard/troublesome. Making the parameters @D@ and/or @N@ larger almost surel... John Abbott

19:48 Bug #1573 (Closed): ApproxSolve: very imprecise

I have found an example where @ApproxSolve@ gives very imprecise solutions:... John Abbott

29 Jan 2021

15:43 Feature #1174 (Closed): package of a function --> of an identifier!

Anna Maria Bigatti

12:26 Design #1151 (Closed): ConcatList or ConcatLists

John Abbott

12:05 Design #1520 (Closed): Replace BOOST_FOREACH by new C++14 range for syntax

John Abbott

12:03 Feature #1516 (Closed): substring function

John Abbott

11:59 Design #1334: sylvester or SylvesterMat?

cocoa5 manual for @jacobian@ updated now (2021-01) Anna Maria Bigatti

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