Activity
From 07 Jun 2014 to 06 Jul 2014
04 Jul 2014
-
14:40 CoCoALib 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...
-
- We must modify @MachineInt@ when switiching to C++14 because there is a new integral type: @(unsigned) long long@
-
12:12 CoCoA-5 Support #548: Printing rings with ID
- John Abbott wrote:
> Should this issue be in CoCoA-5 or CoCoALib?
I think it can stay in CoCoA-5 because it is ea... -
- Should this issue be in CoCoA-5 or CoCoALib?
You are right that there is no global register of rings currently. W... -
- John Abbott wrote:
> I'm still not happy with the name of @RingID@; the name makes me think that it *gets* the ID fr...
03 Jul 2014
-
- I'm still not happy with the name of @RingID@; the name makes me think that it *gets* the ID from a ring, rather than...
-
- added function ID for RING
-
- what about this: (verbose, but not more than before the ID change)
I like it! .... but there is the problem of too m... -
- John Abbott wrote:
> Yesterday Christof suggested that @ZZ@ and @QQ@ should always be printed that way (rather than ... -
- Yesterday Christof suggested that @ZZ@ and @QQ@ should always be printed that way (rather than @ring(0)@ and @ring(1)...
-
- fixed all tests, but we should still discuss on the output.
For example ... -
- resurrected old example, improved, cvs-ed
02 Jul 2014
-
- mostly done.... now I should update all the failing tests.... tomorrow
-
- John Abbott wrote:
> allow @RingID@ to have an optional second arg which is a string giving some info about the ring ... -
- Talked about this with Christof. Here's an idea we had:
allow @RingID@ to have an optional second arg which is a st... -
-
- Strictly related with #177
-
- This was a very general issue: now split in more issues (mostly already closed in 5.1.0)
-
- I added the key "obsolete".
now ... -
- No comments so another quick check and ... closing!
-
- it's fine for me too... maybe we changed the code for some other reason and fixed this as a side effect.
-
- This is discussed (and solved) in #464
Instead of trying to be clever now there are two entries in the CoCoA-5 menu ... -
- fixed @ImportBy..@ and also @package@ (lower-case)
major cleaning of keyword strings (so that they almost none is wr... -
- The doc for @PPVector@ refers to an example, @ex-PPVector.C@, but no such file exists.
-
- Write a prototype package for the algorithms described in the new Kreuzer-Robbiano book.
[related with Elisa Palezza... -
01 Jul 2014
-
- The procedures @SwapRows@ and @SetRow@ were already available.
Now they are in the manual. -
- In CoCoALib we have some functions for Gaussian Elimination.
Choose which and how to make them available at CoCoA-5 ... -
-
- I slightly improved the menu so that it indicates which splitting is defined.
(with a tick next to side-by-side or t... -
- 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... -
- ...
28 Jun 2014
-
- I think I fixed the "random" behaviour for the window splitting.
I added the choice in the CoCoA-5 menu and the flag...
26 Jun 2014
-
16:54 CoCoALib 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 ...
-
- If there were any serious problems, they'd have come to light by now (almost 24 hours of testing!)
Closing.
-
- > All in all, it really does seem to be a "useless" feature...
and was not in CoCoA-4. It's a pointless exception.
-
- Here is a possible reason for wanting to allow juxtaposition of strings: if an input includes a very long string lite...
-
- How will rings be printed in resolutions?
I recall that CoCoA used a syntax like @ring#7@; we could do this (but i... -
- This bug essentially vanished when we abolished multiline string literals.
Now that juxtaposed strings literals ar... -
- I have (temporarily?) disabled recognition of juxtaposed strings. The resulting behaviour on the example input is:
... -
- OK for a menu flag which indicates the preferred way of splitting.
Some while ago I added to @cocoa5.el@ the fn @c... -
- Apparently (on Aquamacs) it splits horizontally or vertically depending on the width of the window. That may be conf...
-
- Almost all done. still missing: gui on windows
25 Jun 2014
-
- I tried; it compiled and all tests pass. Will test more tomorrow, and then check in.
-
- I believe the relevant source is in @Parser.C@ lines 2095-2103 inclusive.
I'll try commenting out, and see if everyt... -
- > Can we remove this "feature? What was the original reason for wanting this?
The original reason was to allow it ... -
- Currently CoCoA-5 accepts juxtaposed string literals (_i.e._ separated by nothing or white space).
Can we remove t... -
- I have modified @cocoa5.el@ to add escapes for @"@ and newlines inside filenames.
A quick test showed that it works a... -
- The name @RingWithID@ is longer than I would like; I originally suggested @ring(3)@ but that is not so clear. Maybe ...
-
- If we go with the idea of printing simply @RingWithID(...)@ then I presume the @describe@ command should fully descri...
-
- If I recall correctly, we abolished "superstrings" in CoCoA-5.1. So the problem is no longer relevant. In any case,...
-
- I have now added a new test, @test-RingElem4@, for @CmpAbs@ of @RingElem@. Will check in.
24 Jun 2014
-
- Here is an excerpt from CoCoA (this morning, 20140624)...
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