Activity
From 19 Feb 2013 to 20 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-... - 23:17 CoCoALib Design #254 (In Progress): How to return a Hilbert Series in CoCoALib
- 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
- 17:40 CoCoALib Bug #326: C++ nasty surprises
- *2013-03-14* Got burned in @OrdvArith.C@ (fn @CmpWDegPartial@) by a silent conversion from @unsigned long@ to @signed...
- 17:35 CoCoALib Feature #3 (Closed): implement creation of a PPMonoidElement from vector<BigInt>
- (2013-03-14) This work has already been done some time ago -- just updating the redmine entry.
- 17:05 CoCoALib Design #268: Exponent range (in power products)
- *2013-03-14* Soeger+Bruns report via email about 10% slow down when using *(C)* rather than *(B)*.
- 17:01 CoCoA-5 Feature #331: Is it possible to have R^3 for NewFreeModule(R,3)?
- 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... - 15:14 CoCoA-5 Feature #331 (Rejected): Is it possible to have R^3 for NewFreeModule(R,3)?
- 16:32 CoCoALib Feature #269: PPMonoids: check for exponent overflow in power function
- All tests pass on my machine.
- 16:28 CoCoALib Feature #269 (Feedback): PPMonoids: check for exponent overflow in power function
- Some casual tests were passed without problem; so I have checked in everything.
Changing status to feedback.
- 15:59 CoCoALib Feature #223: Automatic mapping of RingElems
- cvs-ed
- 15:36 CoCoALib Feature #223 (Feedback): Automatic mapping of RingElems
- 13:18 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
- Giulia has:
* finished the code for aff alg homs
* written doc
* tried to do an example computation with modules, ... - 13:11 CoCoA-5 Feature #330 (Closed): Syzygy for modules: homogeneous module
- Syz for modules
- 12:12 CoCoALib Bug #22 (Feedback): Rename PPMonoidEvZZ?
- 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
- 10:16 CoCoALib Slug #329 (New): Why is DMPI slower than DMPClean?
- Try the following program; and then again but making @P@ a @NewPolyRing_DMPI@.
The times I get are: clean=20s, DMPI=...
11 Mar 2013
- 18:51 CoCoA-5 Feature #8 (Feedback): source region
- Decided the fine details of the semantics; C++ and emacs code are now in agreement.
Modified @Lexer.C@ and the @LineP...
08 Mar 2013
- 16:36 CoCoALib Feature #223 (Resolved): Automatic mapping of RingElems
- I added *RingElem(R, rhs)* with rsh a RingElem in a ring S such that there exists a CanonicalHom S->R
(both to CoCoA... - 13:09 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
- Giulia has dealt with most points from last time.
* fix the code so that it works again (after JAA "improved" it)
... - 12:01 CoCoA-5 Feature #8: source region
- 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
- 23:31 CoCoA-5 Feature #8: source region
- I now have the code for producing...
- 18:41 CoCoA-5 Feature #8: source region
- It compiles and links! The keyword is *@SourceRegion@*.
There are sure to be some "off by 1" errors (_e.g._ do line... - 16:55 CoCoA-5 Feature #8: source region
- Let me rewaken the question of the command name for reading a (contiguous) region inside a file. Last time there was...
- 15:29 CoCoA-5 Feature #8: source region
- 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
- 21:49 CoCoA-5 Feature #8 (In Progress): source region
- I mention an alternative possible meaning for "source region". It could specify the file and start and end character...
- 21:39 CoCoA-5 Feature #328 (Closed): Swap
- I think C5 should have a *@swap@* procedure.
Presumably it could simply be... - 18:16 CoCoALib Feature #320 (Rejected): PPMonoid pseudo-ctors without symbol names
- Both Anna and John think this issue should be rejected.
04 Mar 2013
- 11:27 CoCoALib Bug #327 (Closed): C++ integer shift operators
- JAA believes he has checked all CoCoALib code, and that there are no suspect uses of the shift operators.
The fact...
27 Feb 2013
- 19:10 CoCoA-5 Feature #8: source region
- 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... - 18:04 CoCoA-5 Feature #8: source region
- John Abbott wrote:
> Any chance of having this within 2-3 weeks for this year's AlgComp course?
well, for emacs i... - 17:27 CoCoA-5 Feature #8: source region
- 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... - 17:36 CoCoALib Bug #327 (Closed): C++ integer shift operators
- The effect of the integer shift operators in C++ is *UNDEFINED* if the shift amount is greater than or equal to the w...
- 17:33 CoCoALib Bug #326 (In Progress): C++ nasty surprises
- This "issue" is just to collect links to issues where we got burned by strange/unexpected C++ behaviour.
If you ge... - 17:31 CoCoA-5 Support #314: odd and even numbers for snapshots/official versions?
- JAA likes the rule:
* odd <--> snapshot
* even <--> stable/official
Should we use a similar rule for CoCoALib?
... - 12:58 CoCoA-5 Bug #321 (In Progress): interpreter proposes no near misses for "bin"
- 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
- 18:17 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- Curious! We created @MachineInt@ deliberately to "combine" all the various integral types into just one type which w...
- 17:17 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- 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...
- 18:00 CoCoA-5 Support #325 (Closed): CoCoAManual: display syntax first
- Move the syntax summary to the beginning of each manual entry (in @CoCoAHelp.xml@).
Time for some emacs macro magi... - 17:59 CoCoA-5 Support #324 (Closed): Correct font for variable references in description
- When the description of a function refers to a formal parameter by name, use a specific font for its name. The name ...
- 17:56 CoCoA-5 Support #323 (New): system variables
- Every system variable should be documented with @system variable@ as a keyword.
Here is a list of some of them: @Cur... - 17:54 CoCoALib Design #268 (Feedback): Exponent range (in power products)
- JAA has modified @config.H@ so that @SmallExponent_t@ is now @unsigned int@.
Waiting for confirmation from Anna th... - 17:40 CoCoALib Feature #320 (In Progress): PPMonoid pseudo-ctors without symbol names
- 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...
- 17:27 CoCoALib Feature #300 (Feedback): Add fault tolerant rational reconstruction to library
- Should I really add a test for @RatReconstructWithBounds@?
- 17:13 CoCoA-5 Bug #118 (Feedback): unistd and call to access in Main.C
- Can we regard this as closed now?
- 17:11 CoCoA-5 Support #322 (In Progress): Installation instructions (on website)
- The installation instructions on the website for Linux users is insufficient; the instrs for C4 were better!
25 Feb 2013
- 22:13 CoCoA-5 Bug #321 (Closed): interpreter proposes no near misses for "bin"
- 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
- 20:03 CoCoALib Feature #300: Add fault tolerant rational reconstruction to library
- Added new fns to CoCoA-5 @RatReconstructByContFrac@ and @RatReconstructByLattice@; added doc.
Modified ctors: they no... - 16:26 CoCoA-5 Feature #317: BuiltInFunctions: evalArgAsLong
- There are lots of lines like (in *BuiltinFunctions.C* and *Interpreter.C*)...
- 13:42 CoCoA-5 Feature #200: add modules and module operations
- added *GenRepr* in packages/hilop
21 Feb 2013
- 19:34 CoCoA-5 Bug #34 (In Progress): CoCoAManual: obsolete entries in the manual
- fixed some uppercase/lowercase entries for *make texdoc*
- 17:58 CoCoALib Bug #89: MachineInt or long as fn arg type for indices
- Empty post -- just to "wake up" the issue.
- 17:53 CoCoALib Feature #320: PPMonoid pseudo-ctors without symbol names
- What would we want these pseudo-ctors to do?
# create a PPMonoid using anonymous symbols
# create a PPMonoid using ... - 17:50 CoCoALib Feature #320 (Rejected): PPMonoid pseudo-ctors without symbol names
- Here are 3 proposals for new PPMonoid pseudo-ctor signatures:...
- 17:42 CoCoALib Support #195: OrdvArith documentation needs rewriting
- The doc needs to be rewritten fairly urgently.
- 17:20 CoCoA-5 Feature #200: add modules and module operations
- added *GensAsRows*, *GensAsCols* (and manual)
added *NewFreeModuleForSyz* + consequences - 17:12 CoCoALib Feature #269 (In Progress): PPMonoids: check for exponent overflow in power function
- I have modified the powering mem fns for @PPMonoidEvImpl@ and @PPMonoidEvOvImpl@ (the @Ev@ half).
I have also made a ... - 16:50 CoCoALib Design #305: FreeModule: unique copy?
- should we allow *submodules* only for *FreeModules*?
- 16:22 CoCoALib Design #305: FreeModule: unique copy?
- Big problem: *operator==*
for *ring* equality is strict (only if pointers are equal)
for *ideal* equality is "mathe... - 16:41 CoCoALib Design #268: Exponent range (in power products)
- John Abbott wrote:
> Any objections to adopting option *@(C)@* _i.e._ the default type for "small" exponents in power... - 16:31 CoCoALib Design #268: Exponent range (in power products)
- Any objections to adopting option *@(C)@* _i.e._ the default type for "small" exponents in power products is @unsigne...
- 16:29 CoCoALib Feature #319: BOOST -- how it could help in CoCoALib
- (1) Specifying the unsigned integral type for small exponents -- see #268.
(2) Threadsafe counters -- see #157 (rela... - 16:24 CoCoALib Feature #319 (Closed): BOOST -- how it could help in CoCoALib
- 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
- 18:04 CoCoA-5 Feature #200: add modules and module operations
- Added *SyzOfGens* for an *ideal* both in cocoalib and cocoa-5
(and manual in cocoa-5).
This is still quite rough as... - 17:44 CoCoA-5 Feature #318: implement "indent" for modules
- *implemented*: the decision is to use the matrix representation by rows (as highlighted by the name)...
- 17:12 CoCoA-5 Feature #318 (Closed): implement "indent" for modules
- implement *indent* for *module* as it is done for *ideal*
- 16:55 CoCoA-5 Feature #317 (Closed): BuiltInFunctions: evalArgAsLong
- Similar to *evalArgAsListOf* or *VectorLong* (or *VectorLongDecr1*) it would be nice to have
a way of converting a ... - 16:43 CoCoALib Design #316 (In Progress): submodule constructor different from ideal
- The way we create a submodule (SubmoduleImpl ctor) is different from how we create ideals (IdealCtor).
I think it wo...
Also available in: Atom