CoCoA

12 Nov 2012

15:59 CoCoA-5 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 CoCoA-5 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

31 Oct 2012

14:17 CoCoALib Feature #92: Error Codes

Here is note for accumulating ideas for structuring CoCoALib exceptions:
(1) create _CannotDivide_ which has two sub... John Abbott

13:55 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

The main question is precisely when should @IsDivisible@ return false?
Assuming @x,y,z@ are all @RingElem@...
(A)... John Abbott

13:34 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

Currently the function
@bool IsDivisible(ConstRefRingElem num, ConstRefRingElem den)@
returns *false* if den=0.
I ... Anna Maria Bigatti

26 Oct 2012

17:14 CoCoALib Feature #221 (Resolved): Better RingElems

Updated the doc for RingElem.
Might be necessary to revise the example progs?
John Abbott

17:13 CoCoALib Feature #261 (Resolved): Review the utility of RefRingElem

I have updated the doc for RingElem and friends.
It probably needs some more work, but I'm taking a rest over the we... John Abbott

24 Oct 2012

18:25 CoCoALib Design #272: Forward declarations

yes! I'm not sure how easy/difficult it is going to be to group them: looking at the documentation page:
PPMonoid
... Anna Maria Bigatti

16:56 CoCoALib Design #272 (New): Forward declarations

The C++ STL offers a header file *@<iosfwd>@* which contains forward declarations of the types used for input/output ... John Abbott

16:56 CoCoALib Feature #261: Review the utility of RefRingElem

confirm: all compiles and runs smoothly :-) Anna Maria Bigatti

16:32 CoCoALib Feature #261: Review the utility of RefRingElem

I have renamed the class @ConstRefRingelem@ into *@RingElemAlias@*, and introduced a new typedef for *@ConstRefRingEl... John Abbott

14:51 CoCoA-5 Bug #271 (Closed): test lecture-HF4

Anna Maria Bigatti

12:10 CoCoA-5 Bug #271 (Closed): test lecture-HF4

Cartatone reports that @lecture-HF4.cocoa5@ failed. The problem seems to be simply minor variations in the generator... John Abbott

22 Oct 2012

17:52 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

John Abbott wrote:
> Question: what does this function do to the value in *@r@* if the quotient does not exist?
> 1 t... Anna Maria Bigatti

17:36 CoCoALib Feature #269: PPMonoids: check for exponent overflow in power function

Suggestion:
We need a function sounding like "myIsTooBigForExponent(EXP)" to be called before ... Anna Maria Bigatti

20 Oct 2012

11:38 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

OK, we can add *@IsDivisible(r, r1, r2)@* as Anna proposes; I'm not convinced it is the best possible interface, but ... John Abbott

11:16 CoCoALib Bug #119: CoCoA4io

All files which exist just for the @CoCoAServer@ should be in the *@src/server/@* directory (rather than @src/Algebra... John Abbott

11:08 CoCoALib Design #268: Exponent range (in power products)

I ran the (old) benchmark set (inside @src/server/@).
There was *no real difference in speed* between a compilation ... John Abbott

19 Oct 2012

18:25 CoCoALib Feature #215 (In Progress): Janet Bases: check and include code in CoCoALib (first prototype)

I've added to our CVS the files (files are called Tmp when we have no txt documentation ;-)
* @TmpJBDatastructure.CH@... Anna Maria Bigatti

14:57 CoCoALib Feature #11 (Resolved): Bareiss algorithm

John Abbott

18 Oct 2012

17:27 Support #266: Compilation on M$Windows: cygwin

--with-libnormaliz test:... Christof Soeger

16:42 Support #266: Compilation on M$Windows: cygwin

I will document everything :-)
First my test with cygwin:
installed:
* libgmp-devel: includes the headers
* lib... Christof Soeger

12:38 Support #266: Compilation on M$Windows: cygwin

Will try it! Christof Soeger

15:19 CoCoA-5 Feature #270 (Closed): Distribution for linux

Simplify process for preparing the distribution for linux Anna Maria Bigatti

15:15 CoCoALib Feature #92: Error Codes

The exception catching mechanism in C++ distinguishes the errors based on their types (respecting inheritance relatio... John Abbott

14:17 CoCoALib Feature #269 (Closed): PPMonoids: check for exponent overflow in power function

A cheap safety check for exponent overflow would be simply to conduct the check in the @power@ functions for PPMonoid... John Abbott

14:13 CoCoALib Design #268 (In Progress): Exponent range (in power products)

The real candidates are (B) and (C) -- I interpret these as meaning 16 bits and 32 bits.
Option (A) would limit ex... John Abbott

13:47 CoCoALib Design #268 (Closed): Exponent range (in power products)

The C++ type used for represent exponents in powerproducts is defined in the file *@config.H@*. It has to be an unsi... John Abbott

13:50 CoCoA-5 Bug #267 (Closed): Cyclotomic(106743) fails

Closing this issue because the problem is that addressed in issue #268 (namely the range of exponents to allow).
John Abbott

12:52 CoCoA-5 Bug #267 (Resolved): Cyclotomic(106743) fails

The problem was silent exponent overflow. In the file *@config.H@* there is the line:... John Abbott

11:40 CoCoA-5 Bug #267 (Closed): Cyclotomic(106743) fails

How is this possible?... John Abbott

07:39 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

John Abbott wrote:
> It is not really important, but I will mention that in some cases one can test divisibility much... Anna Maria Bigatti

17 Oct 2012

20:37 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

It is not really important, but I will mention that in some cases one can test divisibility much more cheaply than co... John Abbott

20:33 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

Anna's proposal *@bool IsDivisible(r, r1, r2)@* is reasonable and fits in with what we have done in similar cases so ... John Abbott

19:05 CoCoALib Feature #248: IsDivisible for RingElem with nice interface

Maybe we could add the interface *bool IsDivisible(r, r1, r2)* which has a similar feeling to *bool IsInteger(n, x)*.... Anna Maria Bigatti

20:10 CoCoALib Feature #261: Review the utility of RefRingElem

Checking in completed.
Documentation has still to be updated.
John Abbott

18:39 Support #266 (Closed): Compilation on M$Windows: cygwin

We should offer all documentation is needed for compiling CoCoALib/CoCoA-5 on MSWindows.
* We believe it should be e... Anna Maria Bigatti

12:17 CoCoA-5 Support #265 (Closed): Linking problems in CoCoA-5 GUI

Sometimes building the C5 GUI fails because of linking problems.
The problem is that in *@C5Makefile@* there is no... John Abbott

15 Oct 2012

14:54 CoCoALib Feature #261: Review the utility of RefRingElem

CVS check-in blocked until new release of CoCoALib has been made.
I'll look at the documentation in the meantime.
John Abbott

14 Oct 2012

16:27 CoCoALib Bug #264: Compilation problem with "degree.H" (inline fn defns)

Try adding (in the right place...)... John Abbott