Activity
From 08 Oct 2012 to 06 Nov 2012
31 Oct 2012
- 14:17 Feature #92: Error Codes
- 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
- 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.
15 Oct 2012
- 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.
14 Oct 2012
- 16:27 Bug #264: Compilation problem with "degree.H" (inline fn defns)
- Try adding (in the right place...)...
12 Oct 2012
- 19:22 Bug #264 (Closed): Compilation problem with "degree.H" (inline fn defns)
- I have a very strange problem compiling the debug2 version.
(indeed it is not related with debugging at all, but wit... - 15:12 Support #75: Documentation review by Caleo
- Alessandra reports:
* *@examples/CopyInfo.C@* is not an example -- Anna has added a comment to the file
* incomple...
11 Oct 2012
- 19:07 Support #262: Play with GIT
- Now we have a git copy of cocoalib to play with.
Moreover I tried to make a new small project (math exercises ;-) ... - 18:34 Feature #261: Review the utility of RefRingElem
- I have replaced all occurrences of *@RefRingElem@* (usually by *@RingElem&@*),
and made a few scattered minor chang... - 16:12 Feature #261: Review the utility of RefRingElem
- I have implemented a reasonably clean solution to case *C*; it is exception safe but does make a "wasteful copy".
... - 16:51 Design #263 (New): Move the various <matrix>::mySetEntry procedures into MatrixBase
- The impls for *@ConcatVerImpl::mySetEntry@* are completely general, so move them up to the base class.
10 Oct 2012
- 17:22 Support #262: Play with GIT
- I used some of the ideas from
http://undefinedvalue.com/2010/07/02/workflow-remote-cvs-local-git
to use git on my s... - 16:44 Support #262 (In Progress): Play with GIT
- Anna & John: Use a temporary copy of CoCoALib to learn the various GIT commands.
- 15:51 Feature #261: Review the utility of RefRingElem
- I have modified the source code in the 4 areas indicated in my previous post. It all compiles and the tests pass.
... - 12:07 Feature #261: Review the utility of RefRingElem
- I am considering eliminating the type @RefRingElem@. To do this I must find out where the type is used.
The type @R... - 10:36 Feature #261: Review the utility of RefRingElem
- JAA is currently assessing how useful/necessary @RefRingElem@ is; the hope is that they can simply be eliminated (alo...
- 10:33 Feature #261 (Closed): Review the utility of RefRingElem
- From studying issue #221 it has become apparent that the role of *@RefRingElem@* needs urgent review.
09 Oct 2012
- 15:55 Feature #259 (Closed): Squarefree(?) GCD-free basis
- Hensel lifting for univariate GCDs requires a squarefree GCDfree basis.
There is an implementation in @GCDfreeBasis.... - 15:51 Feature #258 (New): Multivariate lifting
- In CoCoA-4 there is some rather inefficient code for multivariate lifting. Can it be made more efficient?
In any ... - 15:36 Feature #257 (New): Transcribe C4 code for GCD in QQ[x]
- The old CoCoA-4 univariate GCD code should be transcribed into CoCoALib.
It comprises:
* gcd in Fp[x] via standar... - 15:28 Feature #209: ReadExpr: input polynomials in CoCoALib
- [following on from a discussion with Christof]
It does not seem to be possible to allow more than one input expressi... - 14:49 Feature #11: Bareiss algorithm
- Any progress?
- 14:48 Feature #222: Printing polynomials - spaces between terms
- JAA proposes the following guideline:
a coefficient is printed between brackets except when:
* the coefficients @+1@...
08 Oct 2012
- 16:33 Support #256 (Closed): Improve doc about ordering/grading for poly rings
- Specify what default grading is.
- 16:32 Feature #255 (Closed): Use BOOST lib default location if possible
- As we did for GMP (see #247)
- 16:25 Feature #253: W.Bruns's wish list
- Closed issue #247 has satisfied wish (7).
- 16:21 Feature #222 (In Progress): Printing polynomials - spaces between terms
- 13:10 Feature #222: Printing polynomials - spaces between terms
- Christof and John looked at various possible printed forms of *@(3-2*x)^5@*...
- 16:00 Design #254 (Closed): How to return a Hilbert Series in CoCoALib
- Right now Hilbert series do not exist in CoCoALib.
In CoCoA-5 they are built in the package @hp.cpkg5@.
Now we ne... - 12:36 Support #234: Update/Improve geobucket documentation
- Don't forget the *@DEBUG2@* setting available in @autoconf.mk@; it activates checking in @MemPool@ managed memory, an...
Also available in: Atom