Activity
From 15 Feb 2013 to 16 Mar 2013
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...
18 Feb 2013
- 20:19 CoCoALib Feature #283 (Closed): Rational approximation
- No problems have surfaced in 2 months. Doc is present; tests are present.
Closing this issue.
- 20:15 CoCoALib Feature #315 (New): Add doc for ApproxPts2
- Add doc for *@NBM@* and *@SOI@*.
Also add examples and tests.
- 18:44 CoCoA-5 Design #292: Rename IndetsCalled to indets
- Added doc.
- 18:30 CoCoA-5 Bug #102 (Closed): Packages: should exported functions be automatically "Protect"ed?
- After implementing the change about a month ago, no problems have cropped up.
Final decision: package exported nam... - 16:54 CoCoA-5 Feature #212: NBM: add to CoCoA-5
- *Anna:* check with Claudia & Laura whether the proposed interface will suffice for all reasonable variants of SOI/NBM...
- 16:48 CoCoALib Feature #211 (Closed): NBM: add SparsePolyRing as argument for ordering
- Eva reported no problems.
Code probably still needs to be cleaned.
Documentation (file @ApproxPts2.txt@) is complet... - 16:34 CoCoALib Bug #22 (In Progress): Rename PPMonoidEvZZ?
- We have agreed to implement the decision in note 6.
- 16:25 CoCoALib Feature #210 (Closed): Normaliz: "double" cone for speed and safety
- It seems to work fine (after 7 months since finishing the code).
No documentation currently -- not sure where it wou... - 16:22 CoCoALib Feature #224 (Closed): Leading form
- Well, it seems that Anna forgot to close this one...
Implemented, documented; appears to work fine.
So closing now. - 13:03 CoCoALib Feature #244 (Closed): Rings: default ctor & assignment
- Since no problems have surfaced in the last 4 months, I'm closing this issue. The code and doc appear to be correctl...
- 12:57 CoCoALib Feature #221 (Closed): Better RingElems
- No problems have surfaced in 4 months; the doc seems to be correct too.
So I'm closing this issue.
- 12:50 CoCoALib Feature #261 (Closed): Review the utility of RefRingElem
- Since no problems have surfaced in 4 months, I regard this matter as fully resolved, so I am closing it.
15 Feb 2013
- 19:24 CoCoALib Bug #178: IsHomog: should it throw an error when there is no grading?
- ex-PolyRing1 with debugging active fails:...
- 18:58 CoCoALib Feature #300 (In Progress): Add fault tolerant rational reconstruction to library
- Added impls of *@RatReconstructByContFrac@* and *@RatReconstructByLattice@*; also added doc, and an example (@ex-NumT...
- 18:54 CoCoALib Feature #312: LongRange(a,b) returning vector of long a..b (included)
- It's not very important, but JAA thinks that *@LongRange@* should not be inline:
its impl is not that short, and run... - 17:55 CoCoA-5 Support #314 (Closed): odd and even numbers for snapshots/official versions?
- Should we use in cocoa-5 the rule odd and even numbers for snapshots/official versions?
(e.g. 5.0.3 is snapshot ;-)
- 17:13 CoCoALib Feature #313 (In Progress): Elim(vector<long>) as PPOrderingCtor
- Same as lex, StdDegLex, ... also *Elim(vector<long>)* should be implemented as a *PPOrderingCtor*
- 16:28 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5
- added *HomogElimMat* and *ElimMat*, and documented.
Remark: JAA says that in the "::=" ring contructor we should h... - 11:31 CoCoA-5 Feature #309: (Multi)BlockMatrix
- If in the future we let users be more flexible with rings, it may be helpful to have a @BlockMat@ function which acce...
Also available in: Atom