Project

General

Profile

Activity

From 18 Jun 2014 to 17 Jul 2014

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

11 Jul 2014

15:42 Feature #586 (In Progress): BigInt ctor from a machine integer
Advantages:
* in @IntOperations@ and @NumTheory@ we can reduce the number of signatures to some functions (_e.g._ @Is...
John Abbott
15:26 Feature #586: BigInt ctor from a machine integer
I've just removed the @explicit@ keyword from the @BigInt@ ctor. CoCoALib compiled fine (no problems with ambiguity)... John Abbott
15:23 Feature #586 (Rejected): BigInt ctor from a machine integer
Christof asks why the ctor for a @BigInt@ from a machine integer is @explicit@ rather than implicit.
He also suggest...
John Abbott
14:26 Bug #190: Subtle ref count bug for poly rings (via CoeffEmbeddingHom)
Last night I had this idea, does it work?
The problem is:
*RingHom* 's are refcounted objects, many actually "live" i...
Anna Maria Bigatti
12:05 Feature #165 (Closed): FractionField -- only of TrueGCDDomain?
Here's the conclusion:
* currently FrF only of true GCD domain allowed
* the fn *@IsFractionFieldOfGCDDomain@* has ...
John Abbott

10 Jul 2014

17:03 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
John Abbott wrote:
> Of those two I have a preference for *@WantNonZero@* -- I can "say" it more easily in my mind t...
Anna Maria Bigatti
16:01 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
Of those two I have a preference for *@WantNonZero@* -- I can "say" it more easily in my mind than @ExpectNonZero@.
...
John Abbott
16:52 Design #584 (Resolved): BaseRing for all rings
I have just noticed that the function which says over which a ring a matrix lies is called *@BaseRing@*. I'm not so ... John Abbott
16:15 Feature #554 (In Progress): CoCoALib-Normaliz interface: cannot print a cone
Christof Soeger
16:14 Feature #554: CoCoALib-Normaliz interface: cannot print a cone
Implemented some printing. A newly created cone now is printed like:... Christof Soeger
15:32 Design #415 (Feedback): Remove AsPolyRing etc?
I've updated the documentation (removed references to @AsPolyRing@ etc.)
tests: I can't really test a function I'v...
John Abbott
14:26 Feature #568 (Closed): Valid symbol heads
No problems have come up, so closing.
John Abbott
13:45 Feature #125 (In Progress): Matrix equation solving; linear system solving
John Abbott
13:41 Feature #585 (Closed): (Hilbert-) quasi-polynomials
For objects (cones, algebras,..) which are not generated in degree 1 the Hilbert function is not a polynomial anymore... Christof Soeger
13:38 Feature #223 (Closed): Automatic mapping of RingElems
Closing this issue, but leaving #7 open. This is fine as far as it goes.
John Abbott

09 Jul 2014

18:37 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
*WantNonZero* or
*ExpectNonZero*
Anna Maria Bigatti
18:30 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
Here are some other candidate names:
*RequireNonZero*
*ReqNonZero*
*NeedNonZero*
*MustBeNonZero*
*WantNonZero*
John Abbott
18:25 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
Well, this is actually a sub-task.
I think we can make a quick decision about the names (we have already talked abou...
Anna Maria Bigatti
18:14 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
This task is really already covered by the proposed radical restructuring and renaming of the error codes #427. As a... John Abbott
18:19 Feature #165: FractionField -- only of TrueGCDDomain?
I think we'd better be conservative, i.e. only for true GCDRings.
If someone ever asks for the general case then we ...
Anna Maria Bigatti
18:11 Feature #165: FractionField -- only of TrueGCDDomain?
Can this be closed in the near future? (i.e. before Seoul)
John Abbott
18:15 Bug #264 (Closed): Compilation problem with "degree.H" (inline fn defns)
No problem has ever occurred to anyone in the last year.
Have we fixed it? can't remember.
Has the compiler changed...
Anna Maria Bigatti
17:59 Bug #264: Compilation problem with "degree.H" (inline fn defns)
*@Anna* Is this still a problem? I hope not; then we can just terminate the issue.
John Abbott
17:54 Feature #554: CoCoALib-Normaliz interface: cannot print a cone
Maybe we can resolve this issue while I'm in Osnabrueck? John Abbott
17:50 Design #415: Remove AsPolyRing etc?
I have removed @AsDenseUPolyRing@, @AsFreeModule@ and @AsFGModule@.
The code compiles and all tests pass, so I have ...
John Abbott

08 Jul 2014

17:49 Design #415: Remove AsPolyRing etc?
I've now removed @AsQuotientRing@, and revised the imple of @BaseRing@ (see #584)
John Abbott
11:17 Design #415: Remove AsPolyRing etc?
I've removed @AsPolyRing@, @AsSparsePolyRing@ and @AsFractionField@.
So far so good. Some bits of code have becom...
John Abbott
17:48 Design #584: BaseRing for all rings
I've implemented it, and it seems to work. Currently the impl does *(B)*, but it'd be easy to change to *(A)*.
(2014...
John Abbott
11:43 Design #584: BaseRing for all rings
Not sure what @BaseRing(ZZ)@ should produce:
*(A)* either @ZZ@ itself
*(B)* an error
My current preference (afte...
John Abbott
11:41 Design #584: BaseRing for all rings
One problem with this approach is that we would exclude product rings, since a product ring could have several "paren... John Abbott
11:38 Design #584 (Closed): BaseRing for all rings
I'm considering implementing @BaseRing@ for all rings (except perhaps @ZZ@).
With our current design every ring ha...
John Abbott

07 Jul 2014

11:48 Feature #583 (New): New function for printing with extra information
In CoCoA-5 we have the command *@Describe@* for printing a detailed description of an object.
It would be useful to ...
Anna Maria Bigatti
09:36 Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
John Abbott wrote:
> (A) @Expected (element of) PolyRing@
this one!
Anna Maria Bigatti
09:29 Design #582: Error codes: use same code for "not poly ring" and "not elem poly ring"
See also emails exchanged on 20140704 with subject "Opinion".
We need suitable wording for the combined error: how...
John Abbott
09:25 Design #582 (New): Error codes: use same code for "not poly ring" and "not elem poly ring"
Proposal: merge the two error codes @NotPolyRing@ and @NotElemPolyRing@.
Reasons:
(1) the distinction is really q...
John Abbott

04 Jul 2014

14:40 Design #581: C++14: MachineInt
It might be possible to use templates for the ctors of @MachineInt@ together with a mechanism for ensuring that the a... John Abbott
14:36 Design #581 (Closed): C++14: MachineInt
We must modify @MachineInt@ when switiching to C++14 because there is a new integral type: @(unsigned) long long@ John Abbott

03 Jul 2014

08:32 Feature #580 (Resolved): Example for PPVector: ex-PPVector
resurrected old example, improved, cvs-ed Anna Maria Bigatti

02 Jul 2014

14:28 Feature #580 (Closed): Example for PPVector: ex-PPVector
The doc for @PPVector@ refers to an example, @ex-PPVector.C@, but no such file exists.
John Abbott

01 Jul 2014

14:34 Bug #577 (Feedback): Hilbert crashes with > 100 indeterminates
fixed. Now using @CopyHPPower@ (copies the precomputed value or computes the correct one) instead of @HPPowerList@ (... Anna Maria Bigatti
14:04 Bug #577: Hilbert crashes with > 100 indeterminates
(sorry, I meant "101")
I found where the problem is (a hard limit = 100 in GlobalManager) and I am fixing it.
Anna Maria Bigatti
13:34 Bug #577: Hilbert crashes with > 100 indeterminates
I've just tried with my own "local" copy of C5; seems to work fine (even trying several times).
Platform is MacOSX 1...
John Abbott
12:42 Bug #577 (Closed): Hilbert crashes with > 100 indeterminates
... Anna Maria Bigatti

26 Jun 2014

16:54 Support #302: Compilation on M$Windows: Visual Studio
I tried the newest cvs version and CoCoALib does compile in 32 and 64 bit. I only had to change what I have reported ... Christof Soeger

25 Jun 2014

12:16 Feature #571 (Feedback): CmpAbs for RingElem
I have now added a new test, @test-RingElem4@, for @CmpAbs@ of @RingElem@. Will check in.
John Abbott

23 Jun 2014

17:40 Feature #575 (In Progress): Investigate using cmake for configuration
Christof is still trying to make @cmake@ behave well on MacOS; both static and dynamic libraries give (different) pro... John Abbott
17:34 Feature #573: Use symbolic links for external libraries
The symbolic link approach now seems to be working -- I even tried with a nasty directory name apparently without mis... John Abbott

20 Jun 2014

15:00 Feature #575: Investigate using cmake for configuration
John Abbott wrote:
> *Bad* it is not clear how to specify a custom "installation" of GMP instead of the standard sys...
Anna Maria Bigatti
09:18 Feature #575: Investigate using cmake for configuration
Christof has been investigating using @cmake@ for configuring normaliz/libnormaliz.
*Good* @cmake@ seems to handle...
John Abbott
09:10 Feature #575 (In Progress): Investigate using cmake for configuration
The @cmake@ program offers a platform independent "configuration" mechanism. In principle it could replace CoCoA's e... John Abbott

19 Jun 2014

17:53 Feature #573: Use symbolic links for external libraries
I thought I could be clever in @autoconf.mk@ and use @-lgsl@, @-lfrobby@ and so on.
*But* the linker does some strang...
John Abbott
17:00 Feature #573: Use symbolic links for external libraries
Here's a quite summary of the current situation (created entirely manually so far).
There's a new directory @configu...
John Abbott
15:27 Feature #573: Use symbolic links for external libraries
John Abbott wrote:
> I now think that the correct place for the external library directory is in @configuration/@.
...
Anna Maria Bigatti
15:15 Feature #573 (In Progress): Use symbolic links for external libraries
I now think that the correct place for the external library directory is in @configuration/@.
It may as well be ca...
John Abbott
11:22 Support #574 (Closed): Tidy CoCoA root directory
There are too many files/directories in the CoCoA root directory.
I think we can remove the GPLv2 file since there i...
John Abbott

18 Jun 2014

12:03 Feature #573 (Closed): Use symbolic links for external libraries
To avoid problems with "awkward" path names to external libraries, I suggest creating symbolic links (with nice names... John Abbott
 

Also available in: Atom