Activity
From 17 Oct 2012 to 15 Nov 2012
31 Oct 2012
- 14:17 Feature #92: Error Codes: BadIndex
- Here is note for accumulating ideas for structuring CoCoALib exceptions:
(1) create _CannotDivide_ which has two sub... - 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)... - 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 ...
26 Oct 2012
- 17:14 Feature #221 (Resolved): Better RingElems
- Updated the doc for RingElem.
Might be necessary to revise the example progs?
- 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...
24 Oct 2012
- 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
... - 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 ...
- 16:56 Feature #261: Review the utility of RefRingElem
- confirm: all compiles and runs smoothly :-)
- 16:32 Feature #261: Review the utility of RefRingElem
- I have renamed the class @ConstRefRingelem@ into *@RingElemAlias@*, and introduced a new typedef for *@ConstRefRingEl...
22 Oct 2012
- 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... - 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 ...
20 Oct 2012
- 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 ...
- 11:16 Bug #119: CoCoA4io
- All files which exist just for the @CoCoAServer@ should be in the *@src/server/@* directory (rather than @src/Algebra...
- 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 ...
19 Oct 2012
- 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@... - 14:57 Feature #11 (Resolved): Bareiss algorithm
18 Oct 2012
- 15:15 Feature #92: Error Codes: BadIndex
- The exception catching mechanism in C++ distinguishes the errors based on their types (respecting inheritance relatio...
- 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...
- 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... - 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...
- 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...
17 Oct 2012
- 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...
- 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 ...
- 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)*....
- 20:10 Feature #261: Review the utility of RefRingElem
- Checking in completed.
Documentation has still to be updated.
Also available in: Atom