Project

General

Profile

Activity

From 21 May 2013 to 19 Jun 2013

19 Jun 2013

19:01 Feature #379 (Closed): Iter for subsets/tuples
Add new iters for subsets/tuples.
[JAA see file @ShortTerm/oscar.C@]
John Abbott
10:57 Design #377 (In Progress): IsDivisible -- exact semantics?
The problem with dividing @4/2@ in @ZZ/6@ is that the true answer is @2@ in @ZZ/3@ -- a different ring! The answer ... John Abbott
10:28 Design #377 (Closed): IsDivisible -- exact semantics?
While dealing with issue #248 I realised that the exact semantics of @IsDivisible@ are not clear.
The problem is whe...
John Abbott

18 Jun 2013

23:05 Feature #203 (In Progress): Function to get the Hilbert Polynomial ring from GlobalManager
Now that we have *RingQQt(n)* clean up older tentatives.... Anna Maria Bigatti
19:12 Design #254: How to return a Hilbert Series in CoCoALib
Christof Soeger wrote:
> Anna Maria Bigatti wrote:
> > ... what about *@RingQQt(n)@*? That is pretty self-explanat...
Anna Maria Bigatti
18:40 Design #254: How to return a Hilbert Series in CoCoALib
New name implemented & checked-in.
John Abbott
14:15 Design #254: How to return a Hilbert Series in CoCoALib
Anna Maria Bigatti wrote:
> ... what about *@RingQQt(n)@*? That is pretty self-explanatory and flexible ;-)
Yes ...
Christof Soeger
08:54 Design #254: How to return a Hilbert Series in CoCoALib
Christof Soeger wrote:
> I spoke with W.Bruns about a name for the ring. One suggestion is PolynomialInvarianceRing ...
Anna Maria Bigatti
08:49 Feature #374: Porting "IdealOfProjectivePoints"
I know this is not pretty, but for the time being there is this workaround (if you can put your points in an affine s... Anna Maria Bigatti
08:34 Feature #374: Porting "IdealOfProjectivePoints"
requested by Marie Ermete and Susan Cooper
Anna Maria Bigatti
08:15 Feature #374 (Closed): Porting "IdealOfProjectivePoints"
port also @IdealOfProjectivePoints@ Anna Maria Bigatti

17 Jun 2013

18:26 Bug #351 (Resolved): Problems with DenseMatImpl::myResize
fixed really subtle bug in myResize()... Anna Maria Bigatti
16:08 Design #254: How to return a Hilbert Series in CoCoALib
I spoke with W.Bruns about a name for the ring. One suggestion is PolynomialInvarianceRing (or a shortened form) inst... Christof Soeger
11:59 Design #254: How to return a Hilbert Series in CoCoALib
Design:
new class *HilbertSeries*: member fields
*myNum* RingElem and *myDenFactors* factorization.
Constructors...
Anna Maria Bigatti
15:15 Feature #373 (In Progress): add DeleteCol, DeleteRow
first implementation and some tests and documentation. Anna Maria Bigatti
15:12 Feature #373 (Closed): add DeleteCol, DeleteRow
Add functions for deleting row and cols from matrices (no throw guarantee) Anna Maria Bigatti

11 Jun 2013

17:24 Feature #366 (In Progress): function (CoCoALib) for minimal generators (like old Minimalize)
Anna Maria Bigatti
14:58 Feature #366 (Closed): function (CoCoALib) for minimal generators (like old Minimalize)
Might require some thoughts about @GBMill@
*2014-04-02* postponed again @GBMill@. Added functions *MinGens* and *...
Anna Maria Bigatti

06 Jun 2013

08:04 Bug #335: Equality of (sub)modules
added documentation and tests Anna Maria Bigatti

04 Jun 2013

07:20 Bug #335 (Resolved): Equality of (sub)modules
mostly done, needs cleaning Anna Maria Bigatti

03 Jun 2013

17:38 Feature #312: LongRange(a,b) returning vector of long a..b (included)
It might be worth moving the impl into its own *separate file*: this would remove the need to include @vector@ in the... John Abbott
17:31 Feature #300 (Closed): Add fault tolerant rational reconstruction to library
The code was effectively tested while updating the article. So I'm regarding it as OK. Closing!
John Abbott
17:29 Feature #248: IsDivisible for RingElem with nice interface
Might be able to talk about this in Osnabruck... John Abbott
17:26 Bug #264 (In Progress): Compilation problem with "degree.H" (inline fn defns)
Why are the ctor and the mem fn @FastCmp@ inline?
Now that the components of the degree vector are @BigInt@, I doubt ...
John Abbott

31 May 2013

16:58 Support #195: OrdvArith documentation needs rewriting
This is not urgent for 0.9953 so moving to 0.9954.
John Abbott
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.
John Abbott
14:41 Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
2013-05-30 all tests clean!
John Abbott
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... John Abbott
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 ... John Abbott

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 ... John Abbott
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
* @...
John Abbott
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... John Abbott
15:11 Bug #349 (Feedback): IdealOfPoints: gens are actually a GBasis
done and tested. Anna Maria Bigatti

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
 

Also available in: Atom