Project

General

Profile

Activity

From 14 Jul 2014 to 12 Aug 2014

01 Aug 2014

16:25 Feature #62 (Closed): polynomial coefficient extraction w.r.t. single variable -- dense output
This has already been done: it is the function *@CoeffVecWRT@*.
Closing.
John Abbott
10:08 Support #599: Release: CoCoALib-0.99534
fixed ManExamples (and fixed code for checking ;-) Anna Maria Bigatti
10:00 Support #604 (New): Release: CoCoALib-0.99535
Anna Maria Bigatti
09:59 Support #604 (Closed): Release: CoCoALib-0.99535
Everything related to making a CoCoALib release:
finalize
make veryclean; make (full make, with all tests and ex...
Anna Maria Bigatti

31 Jul 2014

18:32 Support #599: Release: CoCoALib-0.99534

finalize: done
tests - make valgrind: OK
create snapshot: not yet (just missing VectorOperations.txt)
updated we...
Anna Maria Bigatti
17:49 Feature #310 (Closed): ordering and grading (weights) matrix
Anna Maria Bigatti
17:43 Feature #310 (Resolved): ordering and grading (weights) matrix
Renaming done: OrdMat, GradingMat (2014-07)
Moving the MatrixView proposal into another issue
Anna Maria Bigatti
13:54 Feature #310: ordering and grading (weights) matrix
Postponing to after Seoul as there are some unresolved aspects.
John Abbott
13:52 Feature #310 (In Progress): ordering and grading (weights) matrix
We have chosen the name *@OrdMat@* (and mem fn called *@myOrdMatCopy@*). Also added this fn for @PPMonoid@ and @Spar... John Abbott
17:47 Design #602 (Closed): OrdMat: should it be a reference to a MatrixView in all PPOrderings?
The function *OrdMat* needs to create a new copy of the ordering matrix because not all @PPOrdering@ objects actually... Anna Maria Bigatti
17:00 Feature #218 (Closed): CoCoALib normaliz interface
@Christof: you've done a good job, I think this issue can be closed now. Closing!
John Abbott
16:57 Bug #577 (Closed): Hilbert crashes with > 100 indeterminates
John Abbott
16:56 Feature #68 (Closed): cleanup doc for matrix, MatrixViews, *Matrix*,....
John Abbott
16:55 Design #584 (Closed): BaseRing for all rings
Time is tight. Since it is just a name change, no real need to stay in feedback for any length of time. Closing.
John Abbott
16:53 Support #252 (Closed): Documentation for tmp.H (utils on vectors and other containers)
The final (hasty?) decision is the call the file *@VectorOperations.H@* (even though most functions in it apply to ot... John Abbott
15:01 Feature #304 (Closed): Module ordering and grading (and shifts)
I think it is all done (naive resolutions work).
If some wrong aspect arises it'll become a new specific issue.
Anna Maria Bigatti
14:54 Feature #72 (Closed): MatByRows, MatByCols
Christof has a valid point about the mnemonic value of including *@view@* in the name, but Anna points out that none ... John Abbott
14:38 Design #601 (In Progress): LongRange: in which file should it be declared/defined?
Currently @LongRange@ resides in @utils.H@; it is the only function there that requires inclusion of the standard hea... John Abbott
12:38 Feature #227: HilbertBasis from Normaliz: full-lattice or not?
Christof! we should talk about this in Seoul. Anna Maria Bigatti
12:31 Support #452 (Closed): Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners)
Anna Maria Bigatti
12:28 Feature #580 (Closed): Example for PPVector: ex-PPVector
Anna Maria Bigatti
12:20 Support #256 (In Progress): Improve doc about ordering/grading for poly rings
Most of the information is already in the documentation for @PPOrdering@.
So it is mainly a matter of redesigning it...
Anna Maria Bigatti

30 Jul 2014

16:56 Feature #150: RingOf rather than owner? (and than AmbientRing, ...)
I note that I have just(20140730) checked in an update which introduces @RingOf@ for matrices, modules and ideals. John Abbott
16:54 Design #584 (Feedback): BaseRing for all rings
Checked in. Updated documentation. Everything works --> feedback.
John Abbott
13:40 Design #584: BaseRing for all rings
I have now changed the name @BaseRing@ into @RingOf@ for matrices and modules.
I have changed @AmbientRing@ into @Ri...
John Abbott
10:57 Support #599 (Closed): Release: CoCoALib-0.99534
Everything related to making a CoCoALib release:
finalize
make veryclean; make (full make, with all tests and ex...
Anna Maria Bigatti
10:56 Support #528 (Closed): Release: CoCoALib-0.99533
Anna Maria Bigatti

29 Jul 2014

11:18 Feature #585 (Closed): (Hilbert-) quasi-polynomials
Christof has reported no problems, so closing.
John Abbott
09:34 Bug #190 (Feedback): Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
tested also... Anna Maria Bigatti

28 Jul 2014

21:46 Bug #190: Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
Anna confirmed that it works fine on her machine, so I have checked in (incl 2 new tests)
Still need to update the...
John Abbott
21:43 Feature #554 (Closed): CoCoALib-Normaliz interface: cannot print a cone
John Abbott
17:45 Feature #554: CoCoALib-Normaliz interface: cannot print a cone
Yes. Christof Soeger
16:51 Feature #554: CoCoALib-Normaliz interface: cannot print a cone
*@Christof:* can we close this issue now? John Abbott
21:42 Bug #2 (In Progress): Makefile problem in ROOT and/or src/AlgebraicCore
Almost certainly part of the problem is that @ar ru@ on Mac OS X updates the mtime of the archive even when the archi... John Abbott
16:34 Feature #598 (New): Syzygy for modules: non-homogeneous module
Anna Maria Bigatti
16:31 Feature #598 (In Progress): Syzygy for modules: non-homogeneous module
Syz for modules with non-homogeneous input.
Maybe the CoCoALib code works, but....
needs proper testing....
John Abbott

27 Jul 2014

12:57 Feature #586: BigInt ctor from a machine integer
No complaints from anyone after checking in, so I regard the idea as safe and sound.
Postponing to "after Seoul" b...
John Abbott
12:34 Bug #190 (Resolved): Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
I have implemented the changes suggested in my previous comment (_i.e._ rings no longer store cached copies of their ... John Abbott

25 Jul 2014

13:00 Bug #190: Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
I think the real problem is that some rings store certain @RingHom@ values inside themselves (thus creating an indire... John Abbott

20 Jul 2014

17:23 Bug #593 (Closed): Temporary directories used during configuration
Improvements needed for the TMP_DIRs used during configuration:
* perhaps use std prefix so that they can all be rem...
John Abbott

18 Jul 2014

14:57 Feature #437: MemPool: order free blocks?
John Abbott wrote:
> Or maybe a @MemPool@ could count how many new/deletes, and reorder every 65536 calls...
I ha...
Anna Maria Bigatti

17 Jul 2014

17:58 Design #592 (Closed): Review design of ConstMatrixView
After having trouble trying to implement @MatXel@ as a @ConstMatrixView@, I think the design of @ConstMatrixView@ nee... John Abbott
17:56 Design #311 (In Progress): XelMat, StdDegRevLexMat, ... should be MatrixView
I have cobbled together a quick impl (practically copied from @IdentityMatImpl@).
It compiles, but I have commented ...
John Abbott
16:39 Feature #72: MatByRows, MatByCols
The impl for @MatByCols@ was missing; it is there now (quick cut-and-paste job).
Also added an example.
Not closi...
John Abbott
14:39 Bug #73 (Closed): Repeated rows/cols in submat
The code already checks that the indices are distinct -- no idea when this was impl'd (must have been ages ago).
Clo...
John Abbott
14:29 Design #415 (Closed): Remove AsPolyRing etc?
No problems after 1 week, so closing.
John Abbott
14:26 Feature #571 (Closed): CmpAbs for RingElem
No problems have appeared. Closing.
John Abbott
14:24 Feature #437 (In Progress): MemPool: order free blocks?
Christof made some interesting suggestions:
# copy the free list (or first part of it) into a @vector@, sort the vec...
John Abbott
14:18 Feature #437: MemPool: order free blocks?
Moving this to after Seoul -- it's too risky to try implementing it in a rush (and then pass sleepless nights trying ... John Abbott

16 Jul 2014

16:18 Feature #72: MatByRows, MatByCols
Not yet entirely convinced about renaming @MakeMatByRows@. It is very similar to @MatByRows@ *but* there is an impor... John Abbott
16:01 Feature #72: MatByRows, MatByCols
should we rename the CoCoA-5 functions -Make-@MatByRows@?
(and move the "Make.." into obsolescent?)
Anna Maria Bigatti
14:57 Feature #72 (Feedback): MatByRows, MatByCols
The code is already there (and has been for how long?) Fns are @MatByRows@ and @MatByCols@.
I added some documentat...
John Abbott
14:42 Bug #264: Compilation problem with "degree.H" (inline fn defns)
This seems to be *very similar* to the issue #591; I believe they are occurrences of the same phenomenon. Added #591... John Abbott
14:38 Feature #564: Temporary file for experimentation
Now that I have added checks for new files in @include/CoCoA/@ and in @src/AlgebraicCore/@, it may be less important ... John Abbott
14:14 Bug #591: Problem with template instantiation and order of include directives
Clang 3.0 on my computer gives no error.
John Abbott
14:07 Bug #591: Problem with template instantiation and order of include directives
JAA failed to find anything helpful on the internet.
I'm just hoping that the solution of moving the @#include@ wi...
John Abbott
14:05 Bug #591 (In Progress): Problem with template instantiation and order of include directives
Some versions of g++ (v4.3.2, v4.4.7, v4.6.3) and intel C++ compiler gave errors when compiling @ex-UtilsVector1.C@ i... John Abbott

15 Jul 2014

18:17 Feature #589 (New): Implement gin (generic initial ideal) in cocoalib
available now for cocoa-5 in package.
Implement it in cocoalib
Anna Maria Bigatti
15:12 Support #252: Documentation for tmp.H (utils on vectors and other containers)
John Abbott wrote:
> Christof does not like the name @UtilsTemplates.H@; he suggested @UtilsContainers.H@ or @UtilsVe...
Anna Maria Bigatti
14:47 Support #252: Documentation for tmp.H (utils on vectors and other containers)
Christof does not like the name @UtilsTemplates.H@; he suggested @UtilsContainers.H@ or @UtilsVector.H@ saying that i... John Abbott
15:08 Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
Just not to lose it in a mountain of archived emails, here is the decisive message:... John Abbott
13:40 Feature #586: BigInt ctor from a machine integer
There were no objections (in the last 24 hours), so I'll check in. If any problems arise, it's trivial to revert the... John Abbott

14 Jul 2014

18:22 Feature #304: Module ordering and grading (and shifts)
I made some tests (and checked with Hilbert series) and it seems that shifts are done and OK. Added some documentation. Anna Maria Bigatti
18:13 Design #432: Semantics of IsPrintedWithMinus
If we use the definition I gave in comment 1 then some twin-float numbers will be recognized as rationals and should ... John Abbott
17:53 Support #252: Documentation for tmp.H (utils on vectors and other containers)
@HasUniqueOwner@ should now work with any container. Checked in.
[I haven't actually made any specific tests, but t...
John Abbott
17:49 Support #252: Documentation for tmp.H (utils on vectors and other containers)
I suppose it makes sense to move them... perhaps I'll think about it overnight before acting.
John Abbott
17:32 Support #252: Documentation for tmp.H (utils on vectors and other containers)
Should also << for vector/list be here?
(now it is in io.H)
Anna Maria Bigatti
17:23 Support #252 (Feedback): Documentation for tmp.H (utils on vectors and other containers)
Renamed file to *@UtilsTemplate.H@*.
Moved @LexCmp3@ into the file (from @utils.H@).
Added doc (& moved doc for @Le...
John Abbott
15:07 Design #415: Remove AsPolyRing etc?
nice! :-)
some builtin functions are now oneliners
(cvs-ed)
Anna Maria Bigatti
14:39 Feature #565 (In Progress): FloatApprox for TwinFloat values?
After further thought it seemed to make more sense to output the twin-float value as a @MantExp2@ structure, which be... John Abbott
14:34 Support #452: Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners)
not final, but much improved (cvs-ed) Anna Maria Bigatti
14:25 Feature #586: BigInt ctor from a machine integer
I suggest that I check in the version of @BigInt.H@ that I have (with the ctor from @MachineInt@ being implicit). Th... John Abbott
14:03 Feature #585 (Feedback): (Hilbert-) quasi-polynomials
Implemented; tested; documented; checked in. So status-->FEEDBACK!
John Abbott
13:34 Feature #580: Example for PPVector: ex-PPVector
I have done a little tidying in @ex-PPVector1.C@.
John Abbott
11:09 Feature #580 (Feedback): Example for PPVector: ex-PPVector
Anna Maria Bigatti
10:39 Feature #587 (Closed): port to CoCoALib: Homomorphism pkg (ker, IsInjective, IsSurjective..)
Translate the package @HomomorphismFns.cpkg5@ into CoCoALib.
The related "utility representation" of a homomorphism ...
Anna Maria Bigatti
 

Also available in: Atom