Activity
From 18 May 2013 to 16 Jun 2013
14 Jun 2013
-
09:50 CoCoA-5 Feature #243 (In Progress): Normaliz tests for CoCoA5
-
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...
-
- translate LinearSimplify package to CoCoA-5
-
12 Jun 2013
-
- slight improvement (at cocoaschool 2013)
-
- fixed "OnlineHelp.C" and improved entry for "CartesianProduct" in CoCoAHelp.xml
-
11 Jun 2013
-
- TgCone is not efficient, but it does what it should. Document it (Anna).
-
-
- *LF* is the *leading form*. As for the other _leading_ functions it throws an error if the polynomial is 0.
*DF* is... -
-
- Might require some thoughts about @GBMill@
*2014-04-02* postponed again @GBMill@. Added functions *MinGens* and *... -
- *2014-04* added *MinGens*, *MinGensGeneral* (for ideals and submodules) *minimalize*, *minimalized* (for ideals)
06 Jun 2013
-
- added documentation and tests
04 Jun 2013
-
- John Abbott wrote:
> * @IsIn@
> * equality test
added *IsElem*, *IsContained* for (sub)modules, and then *IsIn* and ... -
- mostly done, needs cleaning
03 Jun 2013
-
- It might be worth moving the impl into its own *separate file*: this would remove the need to include @vector@ in the...
-
- The code was effectively tested while updating the article. So I'm regarding it as OK. Closing!
-
- Might be able to talk about this in Osnabruck...
-
- Why are the ctor and the mem fn @FastCmp@ inline?
Now that the components of the degree vector are @BigInt@, I doubt ... -
- I would like to have a command for incrementing a counter; and probably another for decrementing.
So instead of wr... -
- Currently CoCoA-5 accepts syntactically the following input...
31 May 2013
-
- This is not urgent for 0.9953 so moving to 0.9954.
-
- Simply "moving" the issue to 0.9954 so we remember to do valgrind again.
-
- 2013-05-30 all tests clean!
-
- Since the actual changes I had to make were minimal (i.e. we had anyway used @long@ for almost all instances of indic...
-
- Added a comment in the newly organized installation guides (see @INSTALL-advanced.txt@). There is no perfect answer ...
-
- Such a function would be helpful now. If we allow automatic conversion of RingElems in the future (seems quite likel...
-
- similar function in cocoalib is *HasUniqueOwner*
-
- John Abbott wrote:
> JAA still prefers the name *@BlockMat@* to the unwieldy @MultiBlockMat@.
> New issue for 5.0.4... -
- JAA still prefers the name *@BlockMat@* to the unwieldy @MultiBlockMat@.
New issue for 5.0.4??
-
- Final decision is to make it public because it is indeed quite handy
(but has an uneven behaviour on rows and cols a... -
- added example in manual.
30 May 2013
-
- done, tested, documented, cvs-ed, published cocoa-5 (for macos-10.6)
(cocoalib code is a bit fragile, but it's a pre... -
- The design principle is that indices should be of type @long@; note that this *includes* _size specifications_ given ...
-
- I have checked/modified all the following:
* matrix indices
* PPMonoid indet indices
* PolyRing indet indices
* @... -
- I am rejecting this task since it is effectively covered by #89 which deals with indices in general; and it seems sim...
-
- done and tested.
29 May 2013
-
- Implement in as many cases as possible *IsZeroDivisor*
(see related issue for CoCoALib) -
- First implementation done, can be improved with "IsIntegralDomain3"
-
- John Abbott wrote:
> Anna could you help me with this? It should be quick and easy once you know what to do.
OK,... -
- Anna could you help me with this? It should be quick and easy once you know what to do.
-
- This is neither urgent nor necessary for CoCoA School, so I'm postponing it.
-
- No chance of finishing this in time for CoCoALib-0.9953/CoCoA School 2013.
-
- No hope of finishing this in time for 0.9953/CoCoA School 2013.
-
- JAA has effected the "transplant". All the code should become totally obsolete when the proper new impl has been mad...
-
- This has been in feedback for 2 months without problems (and it has been used).
It may well become largely obsolet... -
- The stopgap impls will have to suffice for 0.9953/CoCoA School as there's no chance of completing a proper impl in ti...
-
- No troubles after 2 months in "feedback", so closing.
I have improved the doc slightly (added a couple of missing co... -
- I'm closing this even though strictly speaking there are no tests for @BinomialRepr@.
-
- To *Anna:* I think this can be closed. There are tests.
However doc is rather thin; also there is no clear distincti... -
- We should implement functions like *IsPrime3* which returns true3/false3 if it easy to calculate, or already calculat...
-
- JAA now thinks it is better to offer both @MatByRows@ and @MatByCols@ so that user code is more readable (& expresses...
-
- C++11 offers some convenient ways of creating a @std::vector@ containing explicitly given elements. Right now I do n...
-
- Since this change entailed just moving some files (& some minor changes to a @Makefile@ here and there), I am letting...
28 May 2013
-
- In general mem fns will have args f type *@long@* (rather than @MachineInt@) because assume that only "experts" call ...
-
- Forgot to update status & %done. OK now.
-
- No complaints in the last month (but then again Bruno has left...).
It should all be sorted out now, so I'm closing ... -
-
- This issue has been in feedback for about 2 months; no problems have surfaced, so I'm closing the issue.
-
- Added doc, an example and a simple test.
Closing this issue. -
- fixed bug on shifts
added test
CVS'ed
27 May 2013
-
- This issue has been in "feedback" for 4 months, and no problems has arisen. So I'm closing it.
-
- The main issue has been satisfactorily resolved for a year or so.
The question about "normalization" (in post 3) i... -
- What do we want to do with the @CoCoAServer@ in the future? It has been "dormant" for a long time!
*We gather her... -
- Conducted final check ==> some "cosmetic changes".
Added an example program @ex-SmallFp1.C@
Closing this issue.
-
- 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
-
- > While @MachineInt@ is a safer option, it is more complicated/cumbersome and does incur a run-time penalty. I think...
-
- JAA thinks it is reasonable to handle indices differently from "arithmetic integers".
JAA suggests "keeping it sim... -
- I have moved the files, and modified the Makefiles.
All appears to be fine.
Not yet checked in (either on Monday,...
24 May 2013
-
- it would be handy even though I don't know how many times we would use it (we had implemented the similar constructor...
-
- Yes, I believe C++11 makes it easier to construct @std::vector@ values. I don't recall all the details.
Do we wan... -
- Writing vectors in C++ is very tedious (is there something in C++11?)
It would be handy to have a vector constructor... -
-
- No futher problems found in 3 weeks, so closing this issue.
-
- fixed.
Meanwhile compute... -
- The following excerpt exhibits the problem....
-
- Add new fn @IsZeroDivisor@ for ringelem
-
- I have accepted the "hack" added to @reportLineNumberWhenMeaningful@ (see source line @lexer.C:679@).
While testin...
23 May 2013
-
- I have made a few final minor improvements to the documentation, otherwise no problems have arisen in the last 5 mont...
-
- Anna and I have checked that everything is present and correct.
So we close this issue.
-
- .. and resume/clean up *@BR.PolyBinRepr_xi@*
-
- I have implemented *@BinomialRepr@* and *@BinomialReprShift@* in CoCoALib, and made them accessible from CoCoA-5. Th...
-
- port the binomial representation into CoCoALib, and then to CoCoA-5.
It was called "BinExp" in CoCoA-4, but Exp remi... -
-
-
-
-
22 May 2013
-
- Several mem fns have args of type @long@; should the type be changed to @MachineInt@?
How many args does @deriv@ h... -
- John did this ...
-
- Anna and John discussed the matter (in the light of Soeger+Bruns's experience).
The current proposal is to leave t... -
-
- I wrote the implementation for RingDenseUPolyClean, and added a small test in test-DenseUPolyRing1.
-
-
21 May 2013
-
- 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...
-
-
-
- My impromptu tests suggest the impl is fine.
This issue has been in @feedback@ for a month; close it now? Anna?
-
- When calling ...
-
- There has been no negative feedback in 3 months, so I'm closing this issue.
-
- The rules need to be simple so that we can remember them.
Let's say even numbers mean "stable" and odd ones "interim... -
- The manual entry seems OK to me (I made some minor changes).
Closing.
-
- If a function has argument "matrix M" (instead of @MatrixView@ or @ConstMatrixView@) it is passed as a "pointer", i.e...
-
- Apart from bug #344, no (design) problems have arisen; so I'm closing this issue.
-
- Added (v. simple) test and updated doc.
20 May 2013
-
- Modified at CoCoALib level: @FractionField@ now has a @myDeriv@ mem fn (which expects the base ring to be a @PolyRing...
-
- No further problems have come to light in the last 2 weeks, so I'm changing the state to @feedback@ (hoping to close ...
18 May 2013
-
- Currently IdealOfPoints produces an ideal *without* GBasis.
Should be trivial to fix!
-
- 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...
Also available in: Atom