CoCoA » CoCoA-5

09 May 2016

15:56 Bug #880 (Closed): subst should check that indet is in same ring as 1st arg, but does not.

@subst@ should check that indet is in same ring as 1st arg, but does not.
Here is an example:... John Abbott

15:30 Support #879: LOGAR: make CoCoA-5 easier to use

At some point I triggered a bug in CoCoA-5. I was trying to use @subst@ somehow (to replace @a[6]@ by zero); perhaps... John Abbott

15:25 Support #879: LOGAR: make CoCoA-5 easier to use

Sandro then wanted to compute the expressions for the coordinates of the intersection points of the line and the elli... John Abbott

15:16 Support #879: LOGAR: make CoCoA-5 easier to use

@cond1@ corresponds to the condition that the ellipse passes through the origin.
It simplifies to @a[6]=0@.
We woul... John Abbott

15:10 Support #879: LOGAR: make CoCoA-5 easier to use

... John Abbott

15:05 Support #879 (New): LOGAR: make CoCoA-5 easier to use

In early May 2016 I met (Sandro) Logar at the Normaliz workshop in Osnabrueck.
I wanted to persuade him to use CoCoA... John Abbott

14:51 Feature #877 (In Progress): Easier syntax to make a PRINCIPAL ideal?

Now I recall what I tried: @ideal(R,x)@ does not work; it says it wants a list instead of a RINGELEM.
Are there an... John Abbott

11:43 Feature #877: Easier syntax to make a PRINCIPAL ideal?

It is already done, both in CoCoA-5 and CoCoALib (in CoCoALib up to 4 generators). Anna Maria Bigatti

11:11 Feature #877 (Closed): Easier syntax to make a PRINCIPAL ideal?

Currently the way to make a principal ideal is not so natural: the generator must be put into a list.
Are there an... John Abbott

11:29 Bug #878: RingElem applied to a symbol (repr as a string)

Personally I find the situation described quite confusing.
It is not clear to me why @ReadExpr@ is not already inc... John Abbott

11:25 Bug #878 (Closed): RingElem applied to a symbol (repr as a string)

The current design for converting a symbol (repr as a string) into a RINGELEM is inconvenient.
I wanted to do this... John Abbott

07 May 2016

13:59 Feature #876: subst: allowed also for indets in the coeff ring

Here is an example I was trying with Sandro Logar... John Abbott

13:57 Feature #876 (New): subst: allowed also for indets in the coeff ring

Suppose we have a poly ring of the form @QQ(a,b)[x,y]@ and I want to substitute @b=a+1@.
Currently @subst@ refuses b... John Abbott

03 May 2016

17:02 Slug #875: Interpreter is too slow reading a big polynomial

I have tried doing some profiling. The interpreter takes quadratic time (in the number of terms) to read a polynomia... John Abbott

14:00 Slug #875 (In Progress): Interpreter is too slow reading a big polynomial

I'm trying to read a large polynomial: about 6Mbytes, about 127000 terms in 100 indets, coefficients in @QQ@ (but all... John Abbott

27 Apr 2016

19:05 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

I have added a new CoCoALib test (@test-bug6.C@) which tests for this specific problem.
It should later be expande... John Abbott

08:57 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

John Abbott wrote:
> I suggest that Anna try to fix the functions already in @SparsePolyRing.C@.
done! (cvs-ing)
... Anna Maria Bigatti

26 Apr 2016

15:19 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

I suggest that Anna try to fix the functions already in @SparsePolyRing.C@.
Even though I'm hoping for a proper re... John Abbott

13:38 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

I continue to think that the current design of ideals is completely wrong (but I cannot find the redmine task about t... John Abbott

10:16 Bug #870 (In Progress): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

Here is the equivalent CoCoALib code -- it exhibits the problem.... John Abbott

09:39 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

Try looking around @SparsePolyRing.C:2029@
John Abbott

09:35 Bug #870: GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

Since this was reported by a CoCoA-5 user i have put it in the CoCoA-5 category even though I'm almost certain that t... John Abbott

09:31 Bug #870 (Closed): GBasis of product of ideals is wrong (Vadim Tropashko) --> I.myReset()

Vadim Tropashko reported an incorrect result. Robbiano has simplified it. Here is the simplified version.... John Abbott

18 Apr 2016

12:38 Design #868: Der, Bin: why the capital letter?

It is also the case for @bin@.
In CoCoALib they are called @deriv@ and @binomial@, so the lower-case name is differe... Anna Maria Bigatti

17 Apr 2016

20:06 Bug #287: --fullCoCoALibError prints too much (Try/UponError)

I still like my proposal in comment 2. How easy it will be to implement is not clear to me.
Anyway the implementa... John Abbott

20:00 Design #868: Der, Bin: why the capital letter?

I understand we want to keep @Der@ for backward compatibility.
Since we have @deg@, @den@, @det@ why not also @der... John Abbott

19:59 Design #868 (Closed): Der, Bin: why the capital letter?

In CoCoA-5 the function for computing formal derivatives is @Der@; why does @der@ not exist?
John Abbott

14 Apr 2016

18:00 Bug #287: --fullCoCoALibError prints too much (Try/UponError)

Ooops, apparently I released the Mac version of cocoa-5.1.4 with the flag activated.
This means that users computing... Anna Maria Bigatti

13 Apr 2016

13:22 Feature #865 (New): Implicit: make easier to use with rational functions

Make the CoCoA-5 interface (also CoCoALib interface?) easier to use when the parametric descriptions are as rational ... John Abbott