Activity
From 20 Feb 2013 to 21 Mar 2013
20 Mar 2013
-
23:22 CoCoALib Feature #127: Convert DUPFF code to C++
- I've rewritten most of the @DUPFF@ code in C++ (_i.e._ using @DUPFp@).
Still need to do:
# CVS check-in (*done 2013-... -
- Here is a suggestion: a @RECORD@ with two fields @numer@ and @denom@ where
* @numer@ is a polynomial,
* and @denom@ i...
19 Mar 2013
-
10:35 CoCoALib Design #254: How to return a Hilbert Series in CoCoALib
- Any news on it?
In libnormaliz it is a vector for the coefficients of the numerator and a map for the exponents of...
15 Mar 2013
-
- *2013-03-14* Got burned in @OrdvArith.C@ (fn @CmpWDegPartial@) by a silent conversion from @unsigned long@ to @signed...
-
- (2013-03-14) This work has already been done some time ago -- just updating the redmine entry.
-
- *2013-03-14* Soeger+Bruns report via email about 10% slow down when using *(C)* rather than *(B)*.
-
- The ring @R@ could keep a list of freemodules based on itself, and @R^3@ then only needs to check whether it has alre...
-
16:52 CoCoA-5 Feature #331 (Rejected): Is it possible to have R^3 for NewFreeModule(R,3)?
- The answer is yes.
I implemented all the code (in Interpreter.C: *opPower_Ring_BigInt* and *opPowerMap*), but the pr... -
-
- All tests pass on my machine.
-
- Some casual tests were passed without problem; so I have checked in everything.
Changing status to feedback.
-
- cvs-ed
-
-
- Giulia has:
* finished the code for aff alg homs
* written doc
* tried to do an example computation with modules, ... -
- Syz for modules
-
- The class names are not public, so i have made them descriptive (and thus long).
I have changed the interface of the...
12 Mar 2013
-
- Try the following program; and then again but making @P@ a @NewPolyRing_DMPI@.
The times I get are: clean=20s, DMPI=...
11 Mar 2013
-
- Decided the fine details of the semantics; C++ and emacs code are now in agreement.
Modified @Lexer.C@ and the @LineP...
08 Mar 2013
-
- I added *RingElem(R, rhs)* with rsh a RingElem in a ring S such that there exists a CanonicalHom S->R
(both to CoCoA... -
- Giulia has dealt with most points from last time.
* fix the code so that it works again (after JAA "improved" it)
... -
- I played a bit with the emacs SourceRegion and I think that it might be useful to "echo" the region that has been sen...
07 Mar 2013
-
- I now have the code for producing...
-
- It compiles and links! The keyword is *@SourceRegion@*.
There are sure to be some "off by 1" errors (_e.g._ do line... -
- Let me rewaken the question of the command name for reading a (contiguous) region inside a file. Last time there was...
-
- Why are we allowing so much flexibility with the "source region" command?
It'll never be called by hand!
I have s...
05 Mar 2013
-
- I mention an alternative possible meaning for "source region". It could specify the file and start and end character...
-
- I think C5 should have a *@swap@* procedure.
Presumably it could simply be... -
- Both Anna and John think this issue should be rejected.
04 Mar 2013
-
- JAA believes he has checked all CoCoALib code, and that there are no suspect uses of the shift operators.
The fact...
27 Feb 2013
-
- In a sense it works in emacs, but not as I would like it to work.
I would like it to work as though the region had... -
- John Abbott wrote:
> Any chance of having this within 2-3 weeks for this year's AlgComp course?
well, for emacs i... -
- Any chance of having this within 2-3 weeks for this year's AlgComp course?
If I want it in a hurry then I know who... -
- The effect of the integer shift operators in C++ is *UNDEFINED* if the shift amount is greater than or equal to the w...
-
- This "issue" is just to collect links to issues where we got burned by strange/unexpected C++ behaviour.
If you ge... -
- JAA likes the rule:
* odd <--> snapshot
* even <--> stable/official
Should we use a similar rule for CoCoALib?
... -
- The problem is caused by the fact the suggestions offered depend on the arity in the context in which the name appear...
26 Feb 2013
-
- Curious! We created @MachineInt@ deliberately to "combine" all the various integral types into just one type which w...
-
- So now I tested to compile the CoCoA lib for x64 Windows with the Intel compiler in MSVS2010. I have to say MSVS is a...
-
- Move the syntax summary to the beginning of each manual entry (in @CoCoAHelp.xml@).
Time for some emacs macro magi... -
- When the description of a function refers to a formal parameter by name, use a specific font for its name. The name ...
-
- Every system variable should be documented with @system variable@ as a keyword.
Here is a list of some of them: @Cur... -
- JAA has modified @config.H@ so that @SmallExponent_t@ is now @unsigned int@.
Waiting for confirmation from Anna th... -
- John and Anna do not yet agree on what names should be given to the indets in a PPM created by these fns: John prefer...
-
- Should I really add a test for @RatReconstructWithBounds@?
-
- Can we regard this as closed now?
-
- The installation instructions on the website for Linux users is insufficient; the instrs for C4 were better!
25 Feb 2013
-
- In C5, if you slightly mistype a name, the interpreter offers a choice of similar names.
But if I type *@bin()@* t...
22 Feb 2013
-
- Added new fns to CoCoA-5 @RatReconstructByContFrac@ and @RatReconstructByLattice@; added doc.
Modified ctors: they no... -
- There are lots of lines like (in *BuiltinFunctions.C* and *Interpreter.C*)...
-
- added *GenRepr* in packages/hilop
21 Feb 2013
-
- fixed some uppercase/lowercase entries for *make texdoc*
-
- Empty post -- just to "wake up" the issue.
-
- What would we want these pseudo-ctors to do?
# create a PPMonoid using anonymous symbols
# create a PPMonoid using ... -
- Here are 3 proposals for new PPMonoid pseudo-ctor signatures:...
-
- The doc needs to be rewritten fairly urgently.
-
- added *GensAsRows*, *GensAsCols* (and manual)
added *NewFreeModuleForSyz* + consequences -
- I have modified the powering mem fns for @PPMonoidEvImpl@ and @PPMonoidEvOvImpl@ (the @Ev@ half).
I have also made a ... -
- should we allow *submodules* only for *FreeModules*?
-
- Big problem: *operator==*
for *ring* equality is strict (only if pointers are equal)
for *ideal* equality is "mathe... -
- John Abbott wrote:
> Any objections to adopting option *@(C)@* _i.e._ the default type for "small" exponents in power... -
- Any objections to adopting option *@(C)@* _i.e._ the default type for "small" exponents in power products is @unsigne...
-
- (1) Specifying the unsigned integral type for small exponents -- see #268.
(2) Threadsafe counters -- see #157 (rela... -
- We collect here some ideas on how using BOOST in CoCoALib could help improve the code. For the moment we opt not to ...
20 Feb 2013
-
- Added *SyzOfGens* for an *ideal* both in cocoalib and cocoa-5
(and manual in cocoa-5).
This is still quite rough as... -
- *implemented*: the decision is to use the matrix representation by rows (as highlighted by the name)...
-
- implement *indent* for *module* as it is done for *ideal*
-
- Similar to *evalArgAsListOf* or *VectorLong* (or *VectorLongDecr1*) it would be nice to have
a way of converting a ... -
- The way we create a submodule (SubmoduleImpl ctor) is different from how we create ideals (IdealCtor).
I think it wo...
Also available in: Atom