Activity
From 18 Oct 2012 to 16 Nov 2012
15 Nov 2012
-
18:46 CoCoA-5 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 ...
14 Nov 2012
-
- We should probably avoid the name *@InputForm@*; in the past the people behind Mathematica have not hesitated to sue ...
-
11:14 CoCoA-5 Feature #274 (In Progress): InputForm for output readable as input
- Compare these...
-
-
-
- Apart from quotes inside strings it works.
I don't think it is very useful, but because of that I cannot consider th...
12 Nov 2012
-
- Giulia will do "by hand" some of the examples from Robbiano's book so that she better understands what are the diffi...
-
- Giulia Bianco is studying the implementation of various operations on homomorphisms of polynomial algebras.
The re...
31 Oct 2012
-
- Here is note for accumulating ideas for structuring CoCoALib exceptions:
(1) create _CannotDivide_ which has two sub... -
- The main question is precisely when should @IsDivisible@ return false?
Assuming @x,y,z@ are all @RingElem@...
(A)... -
- Currently the function
@bool IsDivisible(ConstRefRingElem num, ConstRefRingElem den)@
returns *false* if den=0.
I ...
26 Oct 2012
-
- Updated the doc for RingElem.
Might be necessary to revise the example progs?
-
- 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
-
- yes! I'm not sure how easy/difficult it is going to be to group them: looking at the documentation page:
PPMonoid
... -
- The C++ STL offers a header file *@<iosfwd>@* which contains forward declarations of the types used for input/output ...
-
- confirm: all compiles and runs smoothly :-)
-
- I have renamed the class @ConstRefRingelem@ into *@RingElemAlias@*, and introduced a new typedef for *@ConstRefRingEl...
-
-
- Cartatone reports that @lecture-HF4.cocoa5@ failed. The problem seems to be simply minor variations in the generator...
22 Oct 2012
-
- John Abbott wrote:
> Question: what does this function do to the value in *@r@* if the quotient does not exist?
> 1 t... -
- Suggestion:
We need a function sounding like "myIsTooBigForExponent(EXP)" to be called before ...
20 Oct 2012
-
- OK, we can add *@IsDivisible(r, r1, r2)@* as Anna proposes; I'm not convinced it is the best possible interface, but ...
-
- All files which exist just for the @CoCoAServer@ should be in the *@src/server/@* directory (rather than @src/Algebra...
-
- I ran the (old) benchmark set (inside @src/server/@).
There was *no real difference in speed* between a compilation ...
19 Oct 2012
-
- I've added to our CVS the files (files are called Tmp when we have no txt documentation ;-)
* @TmpJBDatastructure.CH@... -
18 Oct 2012
-
17:27 Support #266: Compilation on M$Windows: cygwin
- --with-libnormaliz test:...
-
- I will document everything :-)
First my test with cygwin:
installed:
* libgmp-devel: includes the headers
* lib... -
- Will try it!
-
- Simplify process for preparing the distribution for linux
-
- The exception catching mechanism in C++ distinguishes the errors based on their types (respecting inheritance relatio...
-
- A cheap safety check for exponent overflow would be simply to conduct the check in the @power@ functions for PPMonoid...
-
- The real candidates are (B) and (C) -- I interpret these as meaning 16 bits and 32 bits.
Option (A) would limit ex... -
- The C++ type used for represent exponents in powerproducts is defined in the file *@config.H@*. It has to be an unsi...
-
- Closing this issue because the problem is that addressed in issue #268 (namely the range of exponents to allow).
-
- The problem was silent exponent overflow. In the file *@config.H@* there is the line:...
-
- How is this possible?...
-
- John Abbott wrote:
> It is not really important, but I will mention that in some cases one can test divisibility much...
Also available in: Atom