CoCoA » CoCoA-5

11 Dec 2012

18:52 Support #286 (Closed): How to test (automatically) a user defined CoCoA function

When developing and changing a cocoa function it is useful to repeatedly run some tests.
Explain how to do this easily. Anna Maria Bigatti

10 Dec 2012

16:12 Feature #273: Package for Polynomial Algebra Homomorphisms

Giulia has finished the implementations for the easy case (polynomial algebras). There was some discussion of *@IsIn... John Abbott

15:30 Feature #101: rethrow in Try .. UponError .. EndTry

What is the correct way to write a CoCoA-5 test which checks that a certain call produces the expected error? It sho... John Abbott

06 Dec 2012

16:16 Feature #273: Package for Polynomial Algebra Homomorphisms

Giulia showed her restructured code: generally very good, just a few minor criticisms were made.
For next time, she ... John Abbott

05 Dec 2012

16:56 Feature #284 (Closed): BuiltInFunctions: more flexible typing in one-line function declaration

In file *BuiltInOneLiners* there are many function wonderfully declared in one line.
Unfortunately sometimes we need... Anna Maria Bigatti

30 Nov 2012

11:31 Bug #280 (Feedback): EmacsUI: indentation is wrong with parentheses

changed relevant code in cocoa5.el into... Anna Maria Bigatti

29 Nov 2012

18:26 Bug #280: EmacsUI: indentation is wrong with parentheses

I believe the problem is in lines 697-698 when the value for @par@ is computed.
It is not clear to me how the value ... John Abbott

15:04 Bug #280: EmacsUI: indentation is wrong with parentheses

I believe the Emacs code for C/C++ is in @cc-mode.el@. On my computer the full path is:
*@/usr/share/emacs/22.1/lis... John Abbott

11:52 Bug #280: EmacsUI: indentation is wrong with parentheses

I have had a quick look at the Emacs LISP source code. It is not terribly readable. I believe the relevant function... John Abbott

11:30 Bug #280 (Closed): EmacsUI: indentation is wrong with parentheses

cocoa5-mode indents wrongly withing parentheses (and one student got worried ;-)... Anna Maria Bigatti

08:17 Bug #279 (Closed): Bug in Radical (actually a RingHom problem)

this gives an error:... Anna Maria Bigatti

28 Nov 2012

11:31 Feature #90 (Closed): Make the new fn CoefficientsWRT available in C5

I added *@CoeffListWRT@* to @NotBuiltin.cpkg5@.
Added and fixed manual for @CoeffListWRT@, @coefficients@, @Coefficie... Anna Maria Bigatti

27 Nov 2012

09:52 Support #176: CoCoAManual: Doc for new commands

missing doc for *one* and *zero* Anna Maria Bigatti

26 Nov 2012

19:30 Feature #90: Make the new fn CoefficientsWRT available in C5

In CoCoALib *@CoefficientsWRT@* accepts both a @RingElem@ and a _list of indets_ as 2nd arg, and produces the same ty... John Abbott

16:41 Feature #90 (Resolved): Make the new fn CoefficientsWRT available in C5

@coefficients(4*x^3+2*x+1, x);@ had been disabled.
Write @CoefficientsWRT(F, x);@ returning the coefficients of F wrt... Anna Maria Bigatti

16:47 Feature #273: Package for Polynomial Algebra Homomorphisms

Giulia has converted her code into functions. The code performs some sanity checks on the arguments, but she was una... John Abbott

21 Nov 2012

09:49 Feature #78: Elim ordering and matrix ordering in CoCoA-5

*CompleteToOrd* gives a non-term-ordering if there are 0's in the given row.
I think it's easy to fix (in cocoalib). ... Anna Maria Bigatti

09:10 Feature #276 (New): TeXmacs interface

We still have problems about the graphical interface.
Can we easily get a nice interface with TeXmacs?
possibly usi... Anna Maria Bigatti

19 Nov 2012

15:51 Feature #273 (In Progress): Package for Polynomial Algebra Homomorphisms

Giulia has done 4 examples.
For next time she will convert the code in the solutions into various functions (_e.g._ ... John Abbott

15 Nov 2012

18:46 Bug #275 (Closed): Unhelpful error messages when SmallExponent_t is unsigned char.

I changed @config.H@ so that the type @SmallExponent_t@ is @unsigned char@ (in an attempt to tackle Enrico Carlini's ... John Abbott

14 Nov 2012

14:01 Feature #274: InputForm for output readable as input

We should probably avoid the name *@InputForm@*; in the past the people behind Mathematica have not hesitated to sue ... John Abbott

11:14 Feature #274 (In Progress): InputForm for output readable as input

Compare these... Anna Maria Bigatti

11:37 Feature #212 (Feedback): NBM: add to CoCoA-5

Anna Maria Bigatti

11:34 Feature #19 (Closed): How to get the version number of CoCoA-5?

Anna Maria Bigatti

11:30 Bug #192 (Closed): indent prints strings without quotes

Apart from quotes inside strings it works.
I don't think it is very useful, but because of that I cannot consider th... Anna Maria Bigatti

12 Nov 2012

15:59 Feature #273: Package for Polynomial Algebra Homomorphisms

Giulia will do "by hand" some of the examples from Robbiano's book so that she better understands what are the diffi... John Abbott

15:31 Feature #273 (Closed): Package for Polynomial Algebra Homomorphisms

Giulia Bianco is studying the implementation of various operations on homomorphisms of polynomial algebras.
The re... John Abbott