Project

General

Profile

Activity

From 30 Apr 2013 to 29 May 2013

29 May 2013

19:11 Feature #356 (Resolved): IsZeroDivisor
First implementation done, can be improved with "IsIntegralDomain3" Anna Maria Bigatti
17:11 Bug #349: IdealOfPoints: gens are actually a GBasis
John Abbott wrote:
> Anna could you help me with this? It should be quick and easy once you know what to do.
OK,...
Anna Maria Bigatti
17:01 Bug #349: IdealOfPoints: gens are actually a GBasis
Anna could you help me with this? It should be quick and easy once you know what to do. John Abbott
17:05 Feature #150: RingOf rather than owner? (and than AmbientRing, ...)
This is neither urgent nor necessary for CoCoA School, so I'm postponing it. John Abbott
17:04 Feature #147: Buchberger-Moeller: impl via modular reduction
No chance of finishing this in time for CoCoALib-0.9953/CoCoA School 2013.
John Abbott
17:02 Feature #145: Buchberger-Moeller: fast modular impl
No hope of finishing this in time for 0.9953/CoCoA School 2013.
John Abbott
16:58 Feature #121 (Closed): Porting "IdealOfPoints"
JAA has effected the "transplant". All the code should become totally obsolete when the proper new impl has been mad... John Abbott
16:54 Feature #144 (Closed): Buchberger-Moeller: generic impl
This has been in feedback for 2 months without problems (and it has been used).
It may well become largely obsolet...
John Abbott
16:51 Feature #143: Buchberger-Moeller (parent task)
The stopgap impls will have to suffice for 0.9953/CoCoA School as there's no chance of completing a proper impl in ti... John Abbott
16:48 Support #140 (Closed): Doc & example for convert
No troubles after 2 months in "feedback", so closing.
I have improved the doc slightly (added a couple of missing co...
John Abbott
16:41 Feature #354 (Closed): New function BinRepr (was BinExp, also known as Macaulay representation)
I'm closing this even though strictly speaking there are no tests for @BinomialRepr@.
John Abbott
16:32 Feature #219: myDeriv for RingDenseUPolyClean still missing
To *Anna:* I think this can be closed. There are tests.
However doc is rather thin; also there is no clear distincti...
John Abbott
14:55 Feature #361 (Closed): implement IsPrime3, IsMaximal3
We should implement functions like *IsPrime3* which returns true3/false3 if it easy to calculate, or already calculat... Anna Maria Bigatti
12:22 Feature #72 (In Progress): MatByRows, MatByCols
JAA now thinks it is better to offer both @MatByRows@ and @MatByCols@ so that user code is more readable (& expresses... John Abbott
11:36 Bug #119 (Closed): CoCoA4io
Since this change entailed just moving some files (& some minor changes to a @Makefile@ here and there), I am letting... John Abbott

28 May 2013

18:57 Design #339 (Closed): DenseUPolyClean uses size_t
In general mem fns will have args f type *@long@* (rather than @MachineInt@) because assume that only "experts" call ... John Abbott
18:41 Feature #340 (Closed): "configure" does not set BOOST if there are multiple copies in "standard" location
Forgot to update status & %done. OK now.
John Abbott
18:31 Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location
No complaints in the last month (but then again Bruno has left...).
It should all be sorted out now, so I'm closing ...
John Abbott
18:30 Bug #355 (Feedback): Colon of zero ideal fails (zero-divisors)
Anna Maria Bigatti
18:16 Feature #269 (Closed): PPMonoids: check for exponent overflow in power function
This issue has been in feedback for about 2 months; no problems have surfaced, so I'm closing the issue. John Abbott
18:11 Feature #278 (Closed): add CoeffVecWRT to cocoalib
Added doc, an example and a simple test.
Closing this issue.
John Abbott
08:59 Feature #304: Module ordering and grading (and shifts)
fixed bug on shifts
added test
CVS'ed
Anna Maria Bigatti

27 May 2013

18:19 Feature #51 (Closed): polynomial coefficient extraction w.r.t. variable
This issue has been in "feedback" for 4 months, and no problems has arisen. So I'm closing it.
John Abbott
18:16 Feature #50 (Closed): Polynomial content
The main issue has been satisfactorily resolved for a year or so.
The question about "normalization" (in post 3) i...
John Abbott
14:46 Design #360 (New): CoCoAServer: what future, what issues?
What do we want to do with the @CoCoAServer@ in the future? It has been "dormant" for a long time!
*We gather her...
John Abbott
14:22 Bug #135 (Closed): Revise interface to SmallFpImpl & friends
Conducted final check ==> some "cosmetic changes".
Added an example program @ex-SmallFp1.C@
Closing this issue.
John Abbott

25 May 2013

11:51 Bug #89: MachineInt or long as fn arg type for indices
> While @MachineInt@ is a safer option, it is more complicated/cumbersome and does incur a run-time penalty. I think... Anna Maria Bigatti
10:46 Bug #89 (In Progress): MachineInt or long as fn arg type for indices
JAA thinks it is reasonable to handle indices differently from "arithmetic integers".
JAA suggests "keeping it sim...
John Abbott
10:22 Bug #119 (Resolved): CoCoA4io
I have moved the files, and modified the Makefiles.
All appears to be fine.
Not yet checked in (either on Monday,...
John Abbott

24 May 2013

19:02 Feature #357: Constructor for vectors? CoCoAVector
it would be handy even though I don't know how many times we would use it (we had implemented the similar constructor... Anna Maria Bigatti
18:52 Feature #357: Constructor for vectors? CoCoAVector
Yes, I believe C++11 makes it easier to construct @std::vector@ values. I don't recall all the details.
Do we wan...
John Abbott
18:48 Feature #357 (Rejected): Constructor for vectors? CoCoAVector
Writing vectors in C++ is very tedious (is there something in C++11?)
It would be handy to have a vector constructor...
Anna Maria Bigatti
18:58 Feature #312 (Feedback): LongRange(a,b) returning vector of long a..b (included)
Anna Maria Bigatti
18:01 Bug #355: Colon of zero ideal fails (zero-divisors)
fixed.
Meanwhile compute...
Anna Maria Bigatti
16:40 Bug #355 (Closed): Colon of zero ideal fails (zero-divisors)
The following excerpt exhibits the problem.... John Abbott
16:57 Feature #356 (Closed): IsZeroDivisor
Add new fn @IsZeroDivisor@ for ringelem John Abbott

23 May 2013

18:44 Feature #84 (Closed): Names for random streams
I have made a few final minor improvements to the documentation, otherwise no problems have arisen in the last 5 mont... John Abbott
16:58 Bug #22 (Closed): Rename PPMonoidEvZZ?
Anna and I have checked that everything is present and correct.
So we close this issue.
John Abbott
16:30 Feature #17: implement "binomial" (coefficient) for RingElem
.. and resume/clean up *@BR.PolyBinRepr_xi@* Anna Maria Bigatti
12:32 Feature #354 (Feedback): New function BinRepr (was BinExp, also known as Macaulay representation)
I have implemented *@BinomialRepr@* and *@BinomialReprShift@* in CoCoALib, and made them accessible from CoCoA-5. Th... John Abbott
08:32 Feature #354 (Closed): New function BinRepr (was BinExp, also known as Macaulay representation)
port the binomial representation into CoCoALib, and then to CoCoA-5.
It was called "BinExp" in CoCoA-4, but Exp remi...
Anna Maria Bigatti
08:26 Feature #236 (Closed): Add homog (homogenized) for ideal
Anna Maria Bigatti
08:15 Design #297 (In Progress): Modules design: brainstorming
Anna Maria Bigatti
08:14 Design #305 (In Progress): FreeModule: unique copy?
Anna Maria Bigatti
08:13 Design #316 (In Progress): submodule constructor different from ideal
Anna Maria Bigatti
08:12 Feature #248 (In Progress): IsDivisible for RingElem with nice interface
Anna Maria Bigatti

22 May 2013

16:50 Design #339: DenseUPolyClean uses size_t
Several mem fns have args of type @long@; should the type be changed to @MachineInt@?
How many args does @deriv@ h...
John Abbott
15:34 Design #339 (Feedback): DenseUPolyClean uses size_t
John did this ... Anna Maria Bigatti
16:42 Design #268: Exponent range (in power products)
Anna and John discussed the matter (in the light of Soeger+Bruns's experience).
The current proposal is to leave t...
John Abbott
15:36 Support #353 (In Progress): Missing documentation and tests for myRecvTwinFloat
Anna Maria Bigatti
12:02 Support #353: Missing documentation and tests for myRecvTwinFloat
I wrote the implementation for RingDenseUPolyClean, and added a small test in test-DenseUPolyRing1. Anna Maria Bigatti
09:28 Support #353 (In Progress): Missing documentation and tests for myRecvTwinFloat
Anna Maria Bigatti
15:19 Feature #219 (Feedback): myDeriv for RingDenseUPolyClean still missing
Anna Maria Bigatti

21 May 2013

17:35 Bug #351 (Closed): Problems with DenseMatImpl::myResize
When calling ... Anna Maria Bigatti
17:24 Bug #350 (Closed): problem with "matrix" argument in functions
If a function has argument "matrix M" (instead of @MatrixView@ or @ConstMatrixView@) it is passed as a "pointer", i.e... Anna Maria Bigatti

18 May 2013

11:54 Bug #349 (Closed): IdealOfPoints: gens are actually a GBasis
Currently IdealOfPoints produces an ideal *without* GBasis.
Should be trivial to fix!
John Abbott
11:41 Feature #147 (In Progress): Buchberger-Moeller: impl via modular reduction
JAA has a working impl based on the old C4 code. Wasted quite a lot of time tracking down a subtle bug in the old co... John Abbott

17 May 2013

19:27 Feature #304: Module ordering and grading (and shifts)
compiles and runs: I'll check on Monday if it gives the correct result ;-) Anna Maria Bigatti
18:44 Feature #304: Module ordering and grading (and shifts)
major rewriting in progress Anna Maria Bigatti
 

Also available in: Atom