Activity
From 29 May 2013 to 27 Jun 2013
27 Jun 2013
-
19:05 CoCoALib Feature #383 (In Progress): Resolution/morse: integrate Mario Albert's code into CoCoALib
- John and Mario have been incorporating his code into CoCoALib.
We have also cleaned the code somewhat. Perhaps Co... -
19:00 CoCoALib Feature #383 (In Progress): Resolution/morse: integrate Mario Albert's code into CoCoALib
- Mario Albert has written an implementation for computing resolutions & Betti numbers.
Incorporate it into CoCoALib -
17:05 CoCoA-5 Bug #382 (Closed): Subtle bug with CoeffEmbeddingHom
- This lines cause crashing (bug already tracked in CoCoALib)...
26 Jun 2013
-
19:49 CoCoA-5 Feature #381 (Resolved): Emacs User Interface: Easier binding for sending a line to cocoa-5
- These are the two bindings:
C-return (works in graphical emacs) [note: *one* movement]
C-c return (works both in... -
16:45 CoCoA-5 Feature #381 (Closed): Emacs User Interface: Easier binding for sending a line to cocoa-5
- set an easier binding (easier than C-c C-l) for sending a line to cocoa-5.
Macaulay-2 mode sets f11, but that's unco... -
12:12 CoCoA-5 Feature #380 (In Progress): Add Frobby functions to cocoa-5
- functions in ExternalLib-Frobby have been ported: prefix is *Frb*
Might change names slightly.
Manual partially upd... -
12:07 CoCoA-5 Feature #380 (Closed): Add Frobby functions to cocoa-5
20 Jun 2013
-
14:46 CoCoALib Design #377: IsDivisible -- exact semantics?
- JAA continues to believe that attempting to compute @0/0@ in any ring should give an error. Giving an answer is almo...
19 Jun 2013
-
19:01 CoCoALib Feature #379 (Closed): Iter for subsets/tuples
- Add new iters for subsets/tuples.
[JAA see file @ShortTerm/oscar.C@] -
17:16 CoCoA-5 Bug #378 (Closed): Ungraceful behaviour: Source inside For loop
- The following input produces an unexpected effect:...
-
12:20 Bug #238: Cleaner CVS?
- Another argument: The CVS merged some Makefile_dependencies and when I then tried to compile I just got
Makefile_... -
10:57 CoCoALib 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 ...
-
10:28 CoCoALib 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...
18 Jun 2013
-
23:11 CoCoA-5 Design #376: Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C
- work on numerator in hp.cpkg5
-
23:08 CoCoA-5 Design #376 (In Progress): Hilbert: Redesign hp.cpkg5 and public functions in TmpHilbert.C
- modify the current design (hp.cpkg5) to reflect the decision made for CoCoALib.
-
23:05 CoCoALib Feature #203 (In Progress): Function to get the Hilbert Polynomial ring from GlobalManager
- Now that we have *RingQQt(n)* clean up older tentatives....
-
19:12 CoCoALib 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... -
18:40 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib
- New name implemented & checked-in.
-
14:15 CoCoALib 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 ... -
08:54 CoCoALib 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 ... -
10:37 CoCoA-5 Feature #375 (New): allow single function call in "use" : e.g. "Use NewFractionField(R);"
- After "use" the interpreter expectes the special poly ring constructor, such as @QQ[x,y]@, with the unconventional me...
-
08:49 CoCoALib 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...
-
08:34 CoCoALib Feature #374: Porting "IdealOfProjectivePoints"
- requested by Marie Ermete and Susan Cooper
-
08:15 CoCoALib Feature #374 (Closed): Porting "IdealOfProjectivePoints"
- port also @IdealOfProjectivePoints@
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...
Also available in: Atom