Project

General

Profile

Activity

From 14 Feb 2013 to 15 Mar 2013

15 Mar 2013

17:40 Bug #326: C++ nasty surprises
*2013-03-14* Got burned in @OrdvArith.C@ (fn @CmpWDegPartial@) by a silent conversion from @unsigned long@ to @signed... John Abbott
17:35 Feature #3 (Closed): implement creation of a PPMonoidElement from vector<BigInt>
(2013-03-14) This work has already been done some time ago -- just updating the redmine entry. John Abbott
17:05 Design #268: Exponent range (in power products)
*2013-03-14* Soeger+Bruns report via email about 10% slow down when using *(C)* rather than *(B)*.
John Abbott
16:32 Feature #269: PPMonoids: check for exponent overflow in power function
All tests pass on my machine. Anna Maria Bigatti
16:28 Feature #269 (Feedback): PPMonoids: check for exponent overflow in power function
Some casual tests were passed without problem; so I have checked in everything.
Changing status to feedback.
John Abbott
15:59 Feature #223: Automatic mapping of RingElems
cvs-ed Anna Maria Bigatti
15:36 Feature #223 (Feedback): Automatic mapping of RingElems
Anna Maria Bigatti
12:12 Bug #22 (Feedback): Rename PPMonoidEvZZ?
The class names are not public, so i have made them descriptive (and thus long).
I have changed the interface of the...
John Abbott

12 Mar 2013

10:16 Slug #329 (New): Why is DMPI slower than DMPClean?
Try the following program; and then again but making @P@ a @NewPolyRing_DMPI@.
The times I get are: clean=20s, DMPI=...
John Abbott

08 Mar 2013

16:36 Feature #223 (Resolved): Automatic mapping of RingElems
I added *RingElem(R, rhs)* with rsh a RingElem in a ring S such that there exists a CanonicalHom S->R
(both to CoCoA...
Anna Maria Bigatti

05 Mar 2013

18:16 Feature #320 (Rejected): PPMonoid pseudo-ctors without symbol names
Both Anna and John think this issue should be rejected.
John Abbott

04 Mar 2013

11:27 Bug #327 (Closed): C++ integer shift operators
JAA believes he has checked all CoCoALib code, and that there are no suspect uses of the shift operators.
The fact...
John Abbott

27 Feb 2013

17:36 Bug #327 (Closed): C++ integer shift operators
The effect of the integer shift operators in C++ is *UNDEFINED* if the shift amount is greater than or equal to the w... John Abbott
17:33 Bug #326 (In Progress): C++ nasty surprises
This "issue" is just to collect links to issues where we got burned by strange/unexpected C++ behaviour.
If you ge...
John Abbott

26 Feb 2013

18:17 Support #302: Compilation on M$Windows: Visual Studio
Curious! We created @MachineInt@ deliberately to "combine" all the various integral types into just one type which w... John Abbott
17:17 Support #302: Compilation on M$Windows: Visual Studio
So now I tested to compile the CoCoA lib for x64 Windows with the Intel compiler in MSVS2010. I have to say MSVS is a... Christof Soeger
17:54 Design #268 (Feedback): Exponent range (in power products)
JAA has modified @config.H@ so that @SmallExponent_t@ is now @unsigned int@.
Waiting for confirmation from Anna th...
John Abbott
17:40 Feature #320 (In Progress): PPMonoid pseudo-ctors without symbol names
John and Anna do not yet agree on what names should be given to the indets in a PPM created by these fns: John prefer... John Abbott
17:27 Feature #300 (Feedback): Add fault tolerant rational reconstruction to library
Should I really add a test for @RatReconstructWithBounds@?
John Abbott

22 Feb 2013

20:03 Feature #300: Add fault tolerant rational reconstruction to library
Added new fns to CoCoA-5 @RatReconstructByContFrac@ and @RatReconstructByLattice@; added doc.
Modified ctors: they no...
John Abbott

21 Feb 2013

17:58 Bug #89: MachineInt or long as fn arg type for indices
Empty post -- just to "wake up" the issue.
John Abbott
17:53 Feature #320: PPMonoid pseudo-ctors without symbol names
What would we want these pseudo-ctors to do?
# create a PPMonoid using anonymous symbols
# create a PPMonoid using ...
John Abbott
17:50 Feature #320 (Rejected): PPMonoid pseudo-ctors without symbol names
Here are 3 proposals for new PPMonoid pseudo-ctor signatures:... John Abbott
17:42 Support #195: OrdvArith documentation needs rewriting
The doc needs to be rewritten fairly urgently.
John Abbott
17:12 Feature #269 (In Progress): PPMonoids: check for exponent overflow in power function
I have modified the powering mem fns for @PPMonoidEvImpl@ and @PPMonoidEvOvImpl@ (the @Ev@ half).
I have also made a ...
John Abbott
16:50 Design #305: FreeModule: unique copy?
should we allow *submodules* only for *FreeModules*?
Anna Maria Bigatti
16:22 Design #305: FreeModule: unique copy?
Big problem: *operator==*
for *ring* equality is strict (only if pointers are equal)
for *ideal* equality is "mathe...
Anna Maria Bigatti
16:41 Design #268: Exponent range (in power products)
John Abbott wrote:
> Any objections to adopting option *@(C)@* _i.e._ the default type for "small" exponents in power...
Anna Maria Bigatti
16:31 Design #268: Exponent range (in power products)
Any objections to adopting option *@(C)@* _i.e._ the default type for "small" exponents in power products is @unsigne... John Abbott
16:29 Feature #319: BOOST -- how it could help in CoCoALib
(1) Specifying the unsigned integral type for small exponents -- see #268.
(2) Threadsafe counters -- see #157 (rela...
John Abbott
16:24 Feature #319 (Closed): BOOST -- how it could help in CoCoALib
We collect here some ideas on how using BOOST in CoCoALib could help improve the code. For the moment we opt not to ... John Abbott

20 Feb 2013

16:43 Design #316 (In Progress): submodule constructor different from ideal
The way we create a submodule (SubmoduleImpl ctor) is different from how we create ideals (IdealCtor).
I think it wo...
Anna Maria Bigatti

18 Feb 2013

20:19 Feature #283 (Closed): Rational approximation
No problems have surfaced in 2 months. Doc is present; tests are present.
Closing this issue.
John Abbott
20:15 Feature #315 (New): Add doc for ApproxPts2
Add doc for *@NBM@* and *@SOI@*.
Also add examples and tests.
John Abbott
16:48 Feature #211 (Closed): NBM: add SparsePolyRing as argument for ordering
Eva reported no problems.
Code probably still needs to be cleaned.
Documentation (file @ApproxPts2.txt@) is complet...
John Abbott
16:34 Bug #22 (In Progress): Rename PPMonoidEvZZ?
We have agreed to implement the decision in note 6.
John Abbott
16:25 Feature #210 (Closed): Normaliz: "double" cone for speed and safety
It seems to work fine (after 7 months since finishing the code).
No documentation currently -- not sure where it wou...
John Abbott
16:22 Feature #224 (Closed): Leading form
Well, it seems that Anna forgot to close this one...
Implemented, documented; appears to work fine.
So closing now.
John Abbott
13:03 Feature #244 (Closed): Rings: default ctor & assignment
Since no problems have surfaced in the last 4 months, I'm closing this issue. The code and doc appear to be correctl... John Abbott
12:57 Feature #221 (Closed): Better RingElems
No problems have surfaced in 4 months; the doc seems to be correct too.
So I'm closing this issue.
John Abbott
12:50 Feature #261 (Closed): Review the utility of RefRingElem
Since no problems have surfaced in 4 months, I regard this matter as fully resolved, so I am closing it.
John Abbott

15 Feb 2013

19:24 Bug #178: IsHomog: should it throw an error when there is no grading?
ex-PolyRing1 with debugging active fails:... John Abbott
18:58 Feature #300 (In Progress): Add fault tolerant rational reconstruction to library
Added impls of *@RatReconstructByContFrac@* and *@RatReconstructByLattice@*; also added doc, and an example (@ex-NumT... John Abbott
18:54 Feature #312: LongRange(a,b) returning vector of long a..b (included)
It's not very important, but JAA thinks that *@LongRange@* should not be inline:
its impl is not that short, and run...
John Abbott
17:13 Feature #313 (In Progress): Elim(vector<long>) as PPOrderingCtor
Same as lex, StdDegLex, ... also *Elim(vector<long>)* should be implemented as a *PPOrderingCtor*
Anna Maria Bigatti

14 Feb 2013

16:04 Feature #312: LongRange(a,b) returning vector of long a..b (included)
It is a shame to have to include the standard header @<vector>@ in the file @utils.H@.
It may not be relevant, but I...
John Abbott
12:35 Feature #312 (Closed): LongRange(a,b) returning vector of long a..b (included)
I do miss in C++ the convenient cocoa syntax *a..b*.
In fact it is particularly useful for calling *submat*.
So I s...
Anna Maria Bigatti
11:57 Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView
Now we have
NewDenseMatXel(long n);
NewDenseMatRevLex(long n);
NewDenseMatStdDegRevLex(long n);
NewDe...
Anna Maria Bigatti
 

Also available in: Atom