Activity
From 23 Jun 2014 to 22 Jul 2014
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...
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...
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...
- 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 ... - 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... - 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... - 14:29 Design #415 (Closed): Remove AsPolyRing etc?
- No problems after 1 week, so closing.
- 14:26 Feature #571 (Closed): CmpAbs for RingElem
- No problems have appeared. Closing.
- 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... - 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 ...
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...
- 16:01 Feature #72: MatByRows, MatByCols
- should we rename the CoCoA-5 functions -Make-@MatByRows@?
(and move the "Make.." into obsolescent?) - 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... - 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...
- 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 ...
- 14:14 Bug #591: Problem with template instantiation and order of include directives
- Clang 3.0 on my computer gives no error.
- 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... - 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...
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
- 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... - 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...
- 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:...
- 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...
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.
- 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 ...
- 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... - 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.
- 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)
- 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... - 15:07 Design #415: Remove AsPolyRing etc?
- nice! :-)
some builtin functions are now oneliners
(cvs-ed) - 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...
- 14:34 Support #452: Documentation for adding functions to CoCoA-5 (BuiltInFunctions and BuiltInOneLiners)
- not final, but much improved (cvs-ed)
- 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...
- 14:03 Feature #585 (Feedback): (Hilbert-) quasi-polynomials
- Implemented; tested; documented; checked in. So status-->FEEDBACK!
- 13:34 Feature #580: Example for PPVector: ex-PPVector
- I have done a little tidying in @ex-PPVector1.C@.
- 11:09 Feature #580 (Feedback): Example for PPVector: ex-PPVector
- 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 ...
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... - 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)...
- 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... - 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... - 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 ...
10 Jul 2014
- 17:03 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- John Abbott wrote:
> Of those two I have a preference for *@WantNonZero@* -- I can "say" it more easily in my mind t... - 16:01 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- Of those two I have a preference for *@WantNonZero@* -- I can "say" it more easily in my mind than @ExpectNonZero@.
... - 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 ...
- 16:15 Feature #554 (In Progress): CoCoALib-Normaliz interface: cannot print a cone
- 16:14 Feature #554: CoCoALib-Normaliz interface: cannot print a cone
- Implemented some printing. A newly created cone now is printed like:...
- 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... - 14:26 Feature #568 (Closed): Valid symbol heads
- No problems have come up, so closing.
- 13:45 Feature #125 (In Progress): Matrix equation solving; linear system solving
- 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...
- 13:38 Feature #223 (Closed): Automatic mapping of RingElems
- Closing this issue, but leaving #7 open. This is fine as far as it goes.
09 Jul 2014
- 18:37 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- *WantNonZero* or
*ExpectNonZero* - 18:30 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- Here are some other candidate names:
*RequireNonZero*
*ReqNonZero*
*NeedNonZero*
*MustBeNonZero*
*WantNonZero*
- 18:25 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- Well, this is actually a sub-task.
I think we can make a quick decision about the names (we have already talked abou... - 18:14 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- This task is really already covered by the proposed radical restructuring and renaming of the error codes #427. As a...
- 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 ... - 18:11 Feature #165: FractionField -- only of TrueGCDDomain?
- Can this be closed in the near future? (i.e. before Seoul)
- 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... - 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.
- 17:54 Feature #554: CoCoALib-Normaliz interface: cannot print a cone
- Maybe we can resolve this issue while I'm in Osnabrueck?
- 17:50 Design #415: Remove AsPolyRing etc?
- I have removed @AsDenseUPolyRing@, @AsFreeModule@ and @AsFGModule@.
The code compiles and all tests pass, so I have ...
08 Jul 2014
- 17:49 Design #415: Remove AsPolyRing etc?
- I've now removed @AsQuotientRing@, and revised the imple of @BaseRing@ (see #584)
- 11:17 Design #415: Remove AsPolyRing etc?
- I've removed @AsPolyRing@, @AsSparsePolyRing@ and @AsFractionField@.
So far so good. Some bits of code have becom... - 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... - 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... - 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...
- 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...
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 ... - 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!
- 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... - 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...
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...
- 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@
03 Jul 2014
- 08:32 Feature #580 (Resolved): Example for PPVector: ex-PPVector
- resurrected old example, improved, cvs-ed
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.
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@ (...
- 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.
- 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... - 12:42 Bug #577 (Closed): Hilbert crashes with > 100 indeterminates
- ...
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 ...
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.
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...
- 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...
Also available in: Atom