Activity
From 10 Jun 2014 to 09 Jul 2014
09 Jul 2014
-
18:37 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
- *WantNonZero* or
*ExpectNonZero* -
18:30 Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem?
- 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
02 Jul 2014
-
- The doc for @PPVector@ refers to an example, @ex-PPVector.C@, but no such file exists.
01 Jul 2014
-
- fixed. Now using @CopyHPPower@ (copies the precomputed value or computes the correct one) instead of @HPPowerList@ (...
-
- (sorry, I meant "101")
I found where the problem is (a hard limit = 100 in GlobalManager) and I am fixing it.
-
- I've just tried with my own "local" copy of C5; seems to work fine (even trying several times).
Platform is MacOSX 1... -
- ...
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
-
- I have now added a new test, @test-RingElem4@, for @CmpAbs@ of @RingElem@. Will check in.
23 Jun 2014
-
- Christof is still trying to make @cmake@ behave well on MacOS; both static and dynamic libraries give (different) pro...
-
- The symbolic link approach now seems to be working -- I even tried with a nasty directory name apparently without mis...
20 Jun 2014
-
- John Abbott wrote:
> *Bad* it is not clear how to specify a custom "installation" of GMP instead of the standard sys... -
- Christof has been investigating using @cmake@ for configuring normaliz/libnormaliz.
*Good* @cmake@ seems to handle... -
- The @cmake@ program offers a platform independent "configuration" mechanism. In principle it could replace CoCoA's e...
19 Jun 2014
-
- I thought I could be clever in @autoconf.mk@ and use @-lgsl@, @-lfrobby@ and so on.
*But* the linker does some strang... -
- Here's a quite summary of the current situation (created entirely manually so far).
There's a new directory @configu... -
- John Abbott wrote:
> I now think that the correct place for the external library directory is in @configuration/@.
... -
- I now think that the correct place for the external library directory is in @configuration/@.
It may as well be ca... -
- There are too many files/directories in the CoCoA root directory.
I think we can remove the GPLv2 file since there i...
18 Jun 2014
-
- To avoid problems with "awkward" path names to external libraries, I suggest creating symbolic links (with nice names...
14 Jun 2014
-
- All done. It is also easier now to change which chars are allowed as 1st of symbol head, and which are allowed after...
-
- Implemented & documented; no test yet.
Checked in by commenting out the other changes in @ring.C@
-
- I have added a test and doc for @CmpAbs@ for @BigRat@
-
- I have now checked in an impl for @BigRat@.
I have an impl for @RingElem@ but cannot yet check in (mixed up with oth... -
- I was unable to add a @JBMill@ field to a SparsePolyRingIdeal because of circular includes.
One solution would be ...
13 Jun 2014
-
- John Abbott wrote:
> It would be handy to have a ctor for @RingElem@ which accepts a @RingBase*@ instead of a @ring@;...
12 Jun 2014
-
- Everything compiles & all tests pass :-)
It would be handy to have a ctor for @RingElem@ which accepts a @RingBase... -
- Make sense.
We should also do the same (when someone asks ;-) for other functions which can be extended from BigInt ... -
- The current impl works only for int/BigInt. Not for @BigRat@
-
- We have the fn @CmpAbs@ for @BigInt@ and @BigRat@.
Mario would like it also for @RingElem@ (when it is an ordered do... -
- John Abbott wrote:
> which ring functions should be extended in this way?
I see this question in other terms: whi... -
- Mario Albert said it would help make code shorter (and more readable) if one could write @PPM(f)@ instead of @PPM(own...
11 Jun 2014
-
- I have managed to remove most of the need for @AsPolyRing@; will continue later this evening.
-
- The documentation for @ReductionCog@ need to be improved (and corrected?)
-
- John Abbott wrote:
> If we allow a wider range of heads, I suggest that any head may be indexed (rather than trying ...
10 Jun 2014
-
- If we allow a wider range of heads, I suggest that any head may be indexed (rather than trying to introduce some arca...
-
- I modified Mario's copy of CoCoALib so that it would accept digits in symbol heads; everything seemed to work fine. ...
-
- Mario has a fairly large database (several hundred entries) of polynomial sets which he wants to test using CoCoALib....
-
- Currently symbol heads must start with a letter and contain letters and underscores.
Mario Albert would find it ve...
Also available in: Atom