Activity

From 15 Oct 2012 to 13 Nov 2012

14:17 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 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 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

17:14 Feature #221 (Resolved): Better RingElems: Updated the doc for RingElem.
Might be necessary to revise the example progs?
John Abbott
17:13 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

18:25 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 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 Feature #261: Review the utility of RefRingElem: confirm: all compiles and runs smoothly :-) Anna Maria Bigatti
16:32 Feature #261: Review the utility of RefRingElem: I have renamed the class @ConstRefRingelem@ into *@RingElemAlias@*, and introduced a new typedef for *@ConstRefRingEl... John Abbott

17:52 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 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

11:38 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 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 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

18:25 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 Feature #11 (Resolved): Bareiss algorithm: John Abbott

15:15 Feature #92: Error Codes: The exception catching mechanism in C++ distinguishes the errors based on their types (respecting inheritance relatio... John Abbott
14:17 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 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 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
07:39 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

20:37 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 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 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 Feature #261: Review the utility of RefRingElem: Checking in completed.
Documentation has still to be updated.
John Abbott

14:54 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

Also available in: Atom

CoCoA » CoCoALib