CoCoA » CoCoA-5

06 Jun 2016

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

I have taken one of Mario's big polys: this one is about 6Mbyte when printed out.
I tried to ways of converting th... John Abbott

21:58 Slug #875: Interpreter is too slow reading a big polynomial

The solution to use @ReadExpr(P, "poly-as-a-string")@ works tolerably well from the point of view of the interpreter,... John Abbott

10 May 2016

16:41 Feature #883: gin: return/print a suitable change of variables

How about a new fn which computes both gin and a "simple" suitable transformation?
Or maybe a fn which takes an idea... John Abbott

16:30 Feature #883: gin: return/print a suitable change of variables

John Abbott wrote:
> Werner also asked whether the transformation used is triangular or square.
triangular (auxil... Anna Maria Bigatti

15:28 Feature #883 (In Progress): gin: return/print a suitable change of variables

Werner also asked whether the transformation used is triangular or square.
It might be nice to have the option to ... John Abbott

13:54 Feature #883: gin: return/print a suitable change of variables

John Abbott wrote:
> Werner Seiler asks whether it would be possible to make @gin@ also produce a "good" linear chan... Anna Maria Bigatti

11:11 Feature #883 (Closed): gin: return/print a suitable change of variables

Werner Seiler asks whether it would be possible to make @gin@ also produce a "good" linear change of variables (ideal... John Abbott

14:02 Feature #877: Easier syntax to make a PRINCIPAL ideal?

John Abbott wrote:
> Perhaps the error message should say which signatures @ideal@ does offer?
Yes, I like that (... Anna Maria Bigatti

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