Activity
From 19 May 2013 to 17 Jun 2013
17 Jun 2013
- 18:26 CoCoALib Bug #351 (Resolved): Problems with DenseMatImpl::myResize
- fixed really subtle bug in myResize()...
- 16:08 CoCoALib 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...
- 11:59 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib
- Design:
new class *HilbertSeries*: member fields
*myNum* RingElem and *myDenFactors* factorization.
Constructors... - 15:26 CoCoA-5 Support #325: CoCoAManual: display syntax first
- I changed the code in OnlineHelp.C so that syntax is displayed first (2013-02).
It would be worth having the syntax ... - 15:15 CoCoALib Feature #373 (In Progress): add DeleteCol, DeleteRow
- first implementation and some tests and documentation.
- 15:12 CoCoALib Feature #373 (Closed): add DeleteCol, DeleteRow
- Add functions for deleting row and cols from matrices (no throw guarantee)
- 14:31 CoCoA-5 Feature #372 (Feedback): add IsFactorClosed
- Added a reasonable impl of *@IsFactorClosed@* to the package @monomial_ideals.cpkg5@.
Added doc to CoCoAManual.
- 11:18 CoCoA-5 Feature #372 (Closed): add IsFactorClosed
14 Jun 2013
- 09:50 CoCoA-5 Feature #243 (In Progress): Normaliz tests for CoCoA5
- 09:49 CoCoA-5 Design #332 (Resolved): Approx pts preprocessing fns
13 Jun 2013
- 15:58 CoCoA-5 Feature #371 (Feedback): Resurrect LinearSimplify
- JAA has revived the code -- the main problem was that @Coefficients(F,X)@ in CoCoA-4 used the opposite order to @Coef...
- 15:26 CoCoA-5 Feature #371 (Closed): Resurrect LinearSimplify
- translate LinearSimplify package to CoCoA-5
- 15:35 CoCoA-5 Support #325 (In Progress): CoCoAManual: display syntax first
12 Jun 2013
- 16:03 CoCoA-5 Support #322: Installation instructions (on website)
- slight improvement (at cocoaschool 2013)
- 15:50 CoCoA-5 Support #370 (Feedback): OnlineHelp: Problem with "><" in syntax of CartesianProduct
- fixed "OnlineHelp.C" and improved entry for "CartesianProduct" in CoCoAHelp.xml
- 15:47 CoCoA-5 Support #370 (Closed): OnlineHelp: Problem with "><" in syntax of CartesianProduct
11 Jun 2013
- 18:41 CoCoA-5 Support #369 (Closed): write documentation for TgCone and other function from the "primary" package
- TgCone is not efficient, but it does what it should. Document it (Anna).
- 18:33 CoCoA-5 Feature #368 (In Progress): port SmithNormalForm (CoCoA-4)package to CoCoA-5
- 18:31 CoCoA-5 Feature #367 (Closed): implement LF/DF for an ideal
- *LF* is the *leading form*. As for the other _leading_ functions it throws an error if the polynomial is 0.
*DF* is... - 17:24 CoCoALib Feature #366 (In Progress): function (CoCoALib) for minimal generators (like old Minimalize)
- 14:58 CoCoALib 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 *... - 14:56 CoCoA-5 Feature #365 (Closed): add function to compute minimal generators (like Minimalize)
- *2014-04* added *MinGens*, *MinGensGeneral* (for ideals and submodules) *minimalize*, *minimalized* (for ideals)
06 Jun 2013
- 08:04 CoCoALib Bug #335: Equality of (sub)modules
- added documentation and tests
04 Jun 2013
- 07:24 CoCoA-5 Feature #200: add modules and module operations
- John Abbott wrote:
> * @IsIn@
> * equality test
added *IsElem*, *IsContained* for (sub)modules, and then *IsIn* and ... - 07:20 CoCoALib Bug #335 (Resolved): Equality of (sub)modules
- mostly done, needs cleaning
03 Jun 2013
- 17:38 CoCoALib 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...
- 17:31 CoCoALib 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!
- 17:29 CoCoALib Feature #248: IsDivisible for RingElem with nice interface
- Might be able to talk about this in Osnabruck...
- 17:26 CoCoALib 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 ... - 16:23 CoCoA-5 Design #364 (Closed): Incr command/function
- I would like to have a command for incrementing a counter; and probably another for decrementing.
So instead of wr... - 16:15 CoCoA-5 Design #363 (New): Colon operator, 2nd arg
- Currently CoCoA-5 accepts syntactically the following input...
31 May 2013
- 16:58 CoCoALib Support #195: OrdvArith documentation needs rewriting
- This is not urgent for 0.9953 so moving to 0.9954.
- 16:56 CoCoALib 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 CoCoALib Feature #298: Valgrind: keep CoCoALib at 0 memory leaks
- 2013-05-30 all tests clean!
- 16:53 CoCoALib 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 CoCoALib 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 ...
- 15:46 CoCoA-5 Feature #359: RingOf for list
- Such a function would be helpful now. If we allow automatic conversion of RingElems in the future (seems quite likel...
- 15:15 CoCoA-5 Feature #359: RingOf for list
- similar function in cocoalib is *HasUniqueOwner*
- 10:45 CoCoA-5 Feature #309: (Multi)BlockMatrix
- John Abbott wrote:
> JAA still prefers the name *@BlockMat@* to the unwieldy @MultiBlockMat@.
> New issue for 5.0.4... - 10:30 CoCoA-5 Feature #309: (Multi)BlockMatrix
- JAA still prefers the name *@BlockMat@* to the unwieldy @MultiBlockMat@.
New issue for 5.0.4??
- 09:32 CoCoA-5 Feature #309 (Closed): (Multi)BlockMatrix
- Final decision is to make it public because it is indeed quite handy
(but has an uneven behaviour on rows and cols a... - 09:42 CoCoA-5 Feature #347: C5 cannot compute derivative of a ratfn
- added example in manual.
30 May 2013
- 17:15 CoCoA-5 Feature #362: New function: IsZeroDivisor
- done, tested, documented, cvs-ed, published cocoa-5 (for macos-10.6)
(cocoalib code is a bit fragile, but it's a pre... - 16:40 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #349 (Feedback): IdealOfPoints: gens are actually a GBasis
- done and tested.
29 May 2013
- 19:16 CoCoA-5 Feature #362 (Closed): New function: IsZeroDivisor
- Implement in as many cases as possible *IsZeroDivisor*
(see related issue for CoCoALib) - 19:11 CoCoALib Feature #356 (Resolved): IsZeroDivisor
- First implementation done, can be improved with "IsIntegralDomain3"
- 17:11 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #147: Buchberger-Moeller: impl via modular reduction
- No chance of finishing this in time for CoCoALib-0.9953/CoCoA School 2013.
- 17:02 CoCoALib Feature #145: Buchberger-Moeller: fast modular impl
- No hope of finishing this in time for 0.9953/CoCoA School 2013.
- 16:58 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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...
- 12:12 CoCoA-5 Design #83: C++11 compatibility questions
- C++11 offers some convenient ways of creating a @std::vector@ containing explicitly given elements. Right now I do n...
- 11:36 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #355 (Feedback): Colon of zero ideal fails (zero-divisors)
- 18:16 CoCoALib 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 CoCoALib Feature #278 (Closed): add CoeffVecWRT to cocoalib
- Added doc, an example and a simple test.
Closing this issue. - 08:59 CoCoALib Feature #304: Module ordering and grading (and shifts)
- fixed bug on shifts
added test
CVS'ed
27 May 2013
- 18:19 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Bug #135 (Closed): Revise interface to SmallFpImpl & friends
- Conducted final check ==> some "cosmetic changes".
Added an example program @ex-SmallFp1.C@
Closing this issue.
- 09:40 CoCoA-5 Feature #359 (Closed): RingOf for list
- It is often useful to know whether all elements in a list belong to the same ring.
A function of this kind was *Ring...
25 May 2013
- 11:51 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #312 (Feedback): LongRange(a,b) returning vector of long a..b (included)
- 18:55 CoCoA-5 Bug #344 (Closed): basic_string::erase error in interpreter
- No futher problems found in 3 weeks, so closing this issue.
- 18:01 CoCoALib Bug #355: Colon of zero ideal fails (zero-divisors)
- fixed.
Meanwhile compute... - 16:40 CoCoALib Bug #355 (Closed): Colon of zero ideal fails (zero-divisors)
- The following excerpt exhibits the problem....
- 16:57 CoCoALib Feature #356 (Closed): IsZeroDivisor
- Add new fn @IsZeroDivisor@ for ringelem
- 14:41 CoCoA-5 Bug #343 (Closed): Interpreter SEGV
- I have accepted the "hack" added to @reportLineNumberWhenMeaningful@ (see source line @lexer.C:679@).
While testin...
23 May 2013
- 18:44 CoCoALib 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 CoCoALib Bug #22 (Closed): Rename PPMonoidEvZZ?
- Anna and I have checked that everything is present and correct.
So we close this issue.
- 16:30 CoCoALib Feature #17: implement "binomial" (coefficient) for RingElem
- .. and resume/clean up *@BR.PolyBinRepr_xi@*
- 12:32 CoCoALib 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 CoCoALib 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 CoCoALib Feature #236 (Closed): Add homog (homogenized) for ideal
- 08:15 CoCoALib Design #297 (In Progress): Modules design: brainstorming
- 08:14 CoCoALib Design #305 (In Progress): FreeModule: unique copy?
- 08:13 CoCoALib Design #316 (In Progress): submodule constructor different from ideal
- 08:12 CoCoALib Feature #248 (In Progress): IsDivisible for RingElem with nice interface
22 May 2013
- 16:50 CoCoALib 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 CoCoALib Design #339 (Feedback): DenseUPolyClean uses size_t
- John did this ...
- 16:42 CoCoALib 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 CoCoALib Support #353 (In Progress): Missing documentation and tests for myRecvTwinFloat
- 12:02 CoCoALib Support #353: Missing documentation and tests for myRecvTwinFloat
- I wrote the implementation for RingDenseUPolyClean, and added a small test in test-DenseUPolyRing1.
- 09:28 CoCoALib Support #353 (In Progress): Missing documentation and tests for myRecvTwinFloat
- 15:19 CoCoALib Feature #219 (Feedback): myDeriv for RingDenseUPolyClean still missing
21 May 2013
- 18:48 CoCoA-5 Feature #352 (Closed): Should SourceRegion echo the "region"?
- I think that it might be useful to "echo" the region that has been sent, so that the user has the history of what has...
- 18:38 CoCoA-5 Design #292 (Closed): Rename IndetsCalled to indets
- 18:00 CoCoA-5 Feature #336 (Closed): Mat(Module) should give error
- 17:43 CoCoA-5 Feature #336: Mat(Module) should give error
- My impromptu tests suggest the impl is fine.
This issue has been in @feedback@ for a month; close it now? Anna?
- 17:35 CoCoALib Bug #351 (Closed): Problems with DenseMatImpl::myResize
- When calling ...
- 17:34 CoCoA-5 Bug #280 (Closed): EmacsUI: indentation is wrong with parentheses
- There has been no negative feedback in 3 months, so I'm closing this issue.
- 17:31 CoCoA-5 Support #314 (In Progress): odd and even numbers for snapshots/official versions?
- The rules need to be simple so that we can remember them.
Let's say even numbers mean "stable" and odd ones "interim... - 17:24 CoCoA-5 Support #333 (Closed): manual entry for "indent"
- The manual entry seems OK to me (I made some minor changes).
Closing.
- 17:24 CoCoALib 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...
- 17:12 CoCoA-5 Feature #8 (Closed): source region
- Apart from bug #344, no (design) problems have arisen; so I'm closing this issue.
- 17:03 CoCoA-5 Feature #347: C5 cannot compute derivative of a ratfn
- Added (v. simple) test and updated doc.
20 May 2013
- 11:31 CoCoA-5 Feature #347 (Feedback): C5 cannot compute derivative of a ratfn
- Modified at CoCoALib level: @FractionField@ now has a @myDeriv@ mem fn (which expects the base ring to be a @PolyRing...
- 11:25 CoCoA-5 Bug #344 (Feedback): basic_string::erase error in interpreter
- No further problems have come to light in the last 2 weeks, so I'm changing the state to @feedback@ (hoping to close ...
Also available in: Atom