Activity
From 04 May 2013 to 02 Jun 2013
31 May 2013
- 16:58 Support #195: OrdvArith documentation needs rewriting
- This is not urgent for 0.9953 so moving to 0.9954.
- 16:56 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- Simply "moving" the issue to 0.9954 so we remember to do valgrind again.
- 14:41 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- 2013-05-30 all tests clean!
- 16:53 Bug #89 (Closed): MachineInt or long as fn arg type for indices
- Since the actual changes I had to make were minimal (i.e. we had anyway used @long@ for almost all instances of indic...
- 16:50 Design #268 (Closed): Exponent range (in power products)
- Added a comment in the newly organized installation guides (see @INSTALL-advanced.txt@). There is no perfect answer ...
30 May 2013
- 16:40 Bug #89: MachineInt or long as fn arg type for indices
- The design principle is that indices should be of type @long@; note that this *includes* _size specifications_ given ...
- 16:31 Bug #89 (Feedback): MachineInt or long as fn arg type for indices
- I have checked/modified all the following:
* matrix indices
* PPMonoid indet indices
* PolyRing indet indices
* @... - 15:55 Feature #124 (Rejected): change long args in matrices into MachineInt (?)
- I am rejecting this task since it is effectively covered by #89 which deals with indices in general; and it seems sim...
- 15:11 Bug #349 (Feedback): IdealOfPoints: gens are actually a GBasis
- done and tested.
29 May 2013
- 19:11 Feature #356 (Resolved): IsZeroDivisor
- First implementation done, can be improved with "IsIntegralDomain3"
- 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,... - 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.
- 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.
- 17:04 Feature #147: Buchberger-Moeller: impl via modular reduction
- No chance of finishing this in time for CoCoALib-0.9953/CoCoA School 2013.
- 17:02 Feature #145: Buchberger-Moeller: fast modular impl
- No hope of finishing this in time for 0.9953/CoCoA School 2013.
- 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...
- 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... - 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...
- 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... - 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@.
- 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... - 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...
- 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...
- 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...
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 ...
- 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.
- 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 ... - 18:30 Bug #355 (Feedback): Colon of zero ideal fails (zero-divisors)
- 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.
- 18:11 Feature #278 (Closed): add CoeffVecWRT to cocoalib
- Added doc, an example and a simple test.
Closing this issue. - 08:59 Feature #304: Module ordering and grading (and shifts)
- fixed bug on shifts
added test
CVS'ed
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.
- 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... - 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... - 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.
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...
- 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... - 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,...
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...
- 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... - 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... - 18:58 Feature #312 (Feedback): LongRange(a,b) returning vector of long a..b (included)
- 18:01 Bug #355: Colon of zero ideal fails (zero-divisors)
- fixed.
Meanwhile compute... - 16:40 Bug #355 (Closed): Colon of zero ideal fails (zero-divisors)
- The following excerpt exhibits the problem....
- 16:57 Feature #356 (Closed): IsZeroDivisor
- Add new fn @IsZeroDivisor@ for ringelem
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...
- 16:58 Bug #22 (Closed): Rename PPMonoidEvZZ?
- Anna and I have checked that everything is present and correct.
So we close this issue.
- 16:30 Feature #17: implement "binomial" (coefficient) for RingElem
- .. and resume/clean up *@BR.PolyBinRepr_xi@*
- 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...
- 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... - 08:26 Feature #236 (Closed): Add homog (homogenized) for ideal
- 08:15 Design #297 (In Progress): Modules design: brainstorming
- 08:14 Design #305 (In Progress): FreeModule: unique copy?
- 08:13 Design #316 (In Progress): submodule constructor different from ideal
- 08:12 Feature #248 (In Progress): IsDivisible for RingElem with nice interface
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... - 15:34 Design #339 (Feedback): DenseUPolyClean uses size_t
- John did this ...
- 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... - 15:36 Support #353 (In Progress): Missing documentation and tests for myRecvTwinFloat
- 12:02 Support #353: Missing documentation and tests for myRecvTwinFloat
- I wrote the implementation for RingDenseUPolyClean, and added a small test in test-DenseUPolyRing1.
- 09:28 Support #353 (In Progress): Missing documentation and tests for myRecvTwinFloat
- 15:19 Feature #219 (Feedback): myDeriv for RingDenseUPolyClean still missing
21 May 2013
- 17:35 Bug #351 (Closed): Problems with DenseMatImpl::myResize
- When calling ...
- 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...
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!
- 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...
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 ;-)
- 18:44 Feature #304: Module ordering and grading (and shifts)
- major rewriting in progress
Also available in: Atom