Activity
From 03 Jul 2014 to 01 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.
-
10:08 Support #599: Release: CoCoALib-0.99534
- fixed ManExamples (and fixed code for checking ;-)
-
-
- Everything related to making a CoCoALib release:
finalize
make veryclean; make (full make, with all tests and ex...
31 Jul 2014
-
finalize: done
tests - make valgrind: OK
create snapshot: not yet (just missing VectorOperations.txt)
updated we...-
-
- Renaming done: OrdMat, GradingMat (2014-07)
Moving the MatrixView proposal into another issue -
- Postponing to after Seoul as there are some unresolved aspects.
-
- We have chosen the name *@OrdMat@* (and mem fn called *@myOrdMatCopy@*). Also added this fn for @PPMonoid@ and @Spar...
-
- The function *OrdMat* needs to create a new copy of the ordering matrix because not all @PPOrdering@ objects actually...
-
- @Christof: you've done a good job, I think this issue can be closed now. Closing!
-
-
-
- Time is tight. Since it is just a name change, no real need to stay in feedback for any length of time. Closing.
-
- The final (hasty?) decision is the call the file *@VectorOperations.H@* (even though most functions in it apply to ot...
-
- I think it is all done (naive resolutions work).
If some wrong aspect arises it'll become a new specific issue. -
- Christof has a valid point about the mnemonic value of including *@view@* in the name, but Anna points out that none ...
-
- Currently @LongRange@ resides in @utils.H@; it is the only function there that requires inclusion of the standard hea...
-
- Christof! we should talk about this in Seoul.
-
-
-
- Most of the information is already in the documentation for @PPOrdering@.
So it is mainly a matter of redesigning it...
30 Jul 2014
-
- I note that I have just(20140730) checked in an update which introduces @RingOf@ for matrices, modules and ideals.
-
- Checked in. Updated documentation. Everything works --> feedback.
-
- I have now changed the name @BaseRing@ into @RingOf@ for matrices and modules.
I have changed @AmbientRing@ into @Ri... -
- Everything related to making a CoCoALib release:
finalize
make veryclean; make (full make, with all tests and ex... -
29 Jul 2014
-
- Christof has reported no problems, so closing.
-
- tested also...
28 Jul 2014
-
- Anna confirmed that it works fine on her machine, so I have checked in (incl 2 new tests)
Still need to update the... -
-
17:45 Feature #554: CoCoALib-Normaliz interface: cannot print a cone
- Yes.
-
- *@Christof:* can we close this issue now?
-
- Almost certainly part of the problem is that @ar ru@ on Mac OS X updates the mtime of the archive even when the archi...
-
-
- Syz for modules with non-homogeneous input.
Maybe the CoCoALib code works, but....
needs proper testing....
27 Jul 2014
-
- No complaints from anyone after checking in, so I regard the idea as safe and sound.
Postponing to "after Seoul" b... -
- I have implemented the changes suggested in my previous comment (_i.e._ rings no longer store cached copies of their ...
25 Jul 2014
-
- I think the real problem is that some rings store certain @RingHom@ values inside themselves (thus creating an indire...
20 Jul 2014
-
- Improvements needed for the TMP_DIRs used during configuration:
* perhaps use std prefix so that they can all be rem...
18 Jul 2014
-
- John Abbott wrote:
> Or maybe a @MemPool@ could count how many new/deletes, and reorder every 65536 calls...
I ha...
17 Jul 2014
-
- After having trouble trying to implement @MatXel@ as a @ConstMatrixView@, I think the design of @ConstMatrixView@ nee...
-
- I have cobbled together a quick impl (practically copied from @IdentityMatImpl@).
It compiles, but I have commented ... -
- The impl for @MatByCols@ was missing; it is there now (quick cut-and-paste job).
Also added an example.
Not closi... -
- The code already checks that the indices are distinct -- no idea when this was impl'd (must have been ages ago).
Clo... -
- No problems after 1 week, so closing.
-
- No problems have appeared. Closing.
-
- Christof made some interesting suggestions:
# copy the free list (or first part of it) into a @vector@, sort the vec... -
- 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
-
- Not yet entirely convinced about renaming @MakeMatByRows@. It is very similar to @MatByRows@ *but* there is an impor...
-
- should we rename the CoCoA-5 functions -Make-@MatByRows@?
(and move the "Make.." into obsolescent?) -
- The code is already there (and has been for how long?) Fns are @MatByRows@ and @MatByCols@.
I added some documentat... -
- This seems to be *very similar* to the issue #591; I believe they are occurrences of the same phenomenon. Added #591...
-
- Now that I have added checks for new files in @include/CoCoA/@ and in @src/AlgebraicCore/@, it may be less important ...
-
- Clang 3.0 on my computer gives no error.
-
- JAA failed to find anything helpful on the internet.
I'm just hoping that the solution of moving the @#include@ wi... -
- 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
-
- available now for cocoa-5 in package.
Implement it in cocoalib
-
- John Abbott wrote:
> Christof does not like the name @UtilsTemplates.H@; he suggested @UtilsContainers.H@ or @UtilsVe... -
- Christof does not like the name @UtilsTemplates.H@; he suggested @UtilsContainers.H@ or @UtilsVector.H@ saying that i...
-
- Just not to lose it in a mountain of archived emails, here is the decisive message:...
-
- 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
-
- I made some tests (and checked with Hilbert series) and it seems that shifts are done and OK. Added some documentation.
-
- If we use the definition I gave in comment 1 then some twin-float numbers will be recognized as rationals and should ...
-
- @HasUniqueOwner@ should now work with any container. Checked in.
[I haven't actually made any specific tests, but t... -
- I suppose it makes sense to move them... perhaps I'll think about it overnight before acting.
-
- Should also << for vector/list be here?
(now it is in io.H)
-
- Renamed file to *@UtilsTemplate.H@*.
Moved @LexCmp3@ into the file (from @utils.H@).
Added doc (& moved doc for @Le... -
- nice! :-)
some builtin functions are now oneliners
(cvs-ed) -
- After further thought it seemed to make more sense to output the twin-float value as a @MantExp2@ structure, which be...
-
- not final, but much improved (cvs-ed)
-
- I suggest that I check in the version of @BigInt.H@ that I have (with the ctor from @MachineInt@ being implicit). Th...
-
- Implemented; tested; documented; checked in. So status-->FEEDBACK!
-
- I have done a little tidying in @ex-PPVector1.C@.
-
-
- Translate the package @HomomorphismFns.cpkg5@ into CoCoALib.
The related "utility representation" of a homomorphism ...
11 Jul 2014
-
- Advantages:
* in @IntOperations@ and @NumTheory@ we can reduce the number of signatures to some functions (_e.g._ @Is... -
- I've just removed the @explicit@ keyword from the @BigInt@ ctor. CoCoALib compiled fine (no problems with ambiguity)...
-
- Christof asks why the ctor for a @BigInt@ from a machine integer is @explicit@ rather than implicit.
He also suggest... -
- Last night I had this idea, does it work?
The problem is:
*RingHom* 's are refcounted objects, many actually "live" i... -
- Here's the conclusion:
* currently FrF only of true GCD domain allowed
* the fn *@IsFractionFieldOfGCDDomain@* has ...
10 Jul 2014
-
- John Abbott wrote:
> Of those two I have a preference for *@WantNonZero@* -- I can "say" it more easily in my mind t... -
- Of those two I have a preference for *@WantNonZero@* -- I can "say" it more easily in my mind than @ExpectNonZero@.
... -
- I have just noticed that the function which says over which a ring a matrix lies is called *@BaseRing@*. I'm not so ...
-
-
- Implemented some printing. A newly created cone now is printed like:...
-
- I've updated the documentation (removed references to @AsPolyRing@ etc.)
tests: I can't really test a function I'v... -
- No problems have come up, so closing.
-
-
- For objects (cones, algebras,..) which are not generated in degree 1 the Hilbert function is not a polynomial anymore...
-
- Closing this issue, but leaving #7 open. This is fine as far as it goes.
09 Jul 2014
-
- *WantNonZero* or
*ExpectNonZero* -
- Here are some other candidate names:
*RequireNonZero*
*ReqNonZero*
*NeedNonZero*
*MustBeNonZero*
*WantNonZero*
-
- Well, this is actually a sub-task.
I think we can make a quick decision about the names (we have already talked abou... -
- This task is really already covered by the proposed radical restructuring and renaming of the error codes #427. As a...
-
- I think we'd better be conservative, i.e. only for true GCDRings.
If someone ever asks for the general case then we ... -
- Can this be closed in the near future? (i.e. before Seoul)
-
- No problem has ever occurred to anyone in the last year.
Have we fixed it? can't remember.
Has the compiler changed... -
- *@Anna* Is this still a problem? I hope not; then we can just terminate the issue.
-
- Maybe we can resolve this issue while I'm in Osnabrueck?
-
- I have removed @AsDenseUPolyRing@, @AsFreeModule@ and @AsFGModule@.
The code compiles and all tests pass, so I have ...
08 Jul 2014
-
- I've now removed @AsQuotientRing@, and revised the imple of @BaseRing@ (see #584)
-
- I've removed @AsPolyRing@, @AsSparsePolyRing@ and @AsFractionField@.
So far so good. Some bits of code have becom... -
- I've implemented it, and it seems to work. Currently the impl does *(B)*, but it'd be easy to change to *(A)*.
(2014... -
- Not sure what @BaseRing(ZZ)@ should produce:
*(A)* either @ZZ@ itself
*(B)* an error
My current preference (afte... -
- One problem with this approach is that we would exclude product rings, since a product ring could have several "paren...
-
- I'm considering implementing @BaseRing@ for all rings (except perhaps @ZZ@).
With our current design every ring ha...
07 Jul 2014
-
- In CoCoA-5 we have the command *@Describe@* for printing a detailed description of an object.
It would be useful to ... -
- John Abbott wrote:
> (A) @Expected (element of) PolyRing@
this one!
-
- See also emails exchanged on 20140704 with subject "Opinion".
We need suitable wording for the combined error: how... -
- Proposal: merge the two error codes @NotPolyRing@ and @NotElemPolyRing@.
Reasons:
(1) the distinction is really q...
04 Jul 2014
-
- It might be possible to use templates for the ctors of @MachineInt@ together with a mechanism for ensuring that the a...
-
- We must modify @MachineInt@ when switiching to C++14 because there is a new integral type: @(unsigned) long long@
03 Jul 2014
-
- resurrected old example, improved, cvs-ed
Also available in: Atom