Activity
From 12 Feb 2013 to 13 Mar 2013
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...
14 Feb 2013
-
16:04 CoCoALib Feature #312: LongRange(a,b) returning vector of long a..b (included)
- It is a shame to have to include the standard header @<vector>@ in the file @utils.H@.
It may not be relevant, but I... -
12:35 CoCoALib Feature #312 (Closed): LongRange(a,b) returning vector of long a..b (included)
- I do miss in C++ the convenient cocoa syntax *a..b*.
In fact it is particularly useful for calling *submat*.
So I s... -
15:48 CoCoA-5 Feature #309: (Multi)BlockMatrix
- How about renaming the current @BlockMat@ to *@BlockMat2x2@*,
and the new fn @MultiBlockMat@ to just plain *@BlockMa... -
11:10 CoCoA-5 Feature #309 (Feedback): (Multi)BlockMatrix
-
11:57 CoCoALib Design #311 (Closed): XelMat, StdDegRevLexMat, ... should be MatrixView
- Now we have
NewDenseMatXel(long n);
NewDenseMatRevLex(long n);
NewDenseMatStdDegRevLex(long n);
NewDe...
13 Feb 2013
-
18:11 CoCoA-5 Feature #309: (Multi)BlockMatrix
- added JAA's definition of MultiBlockMat into manual entry of BlockMat
(and also search keys)... -
17:04 CoCoA-5 Feature #309: (Multi)BlockMatrix
- John Abbott wrote:
> JAA wonders whether it might be appropriate to have a fairly general function for building matri... -
16:37 CoCoA-5 Feature #309: (Multi)BlockMatrix
- JAA wonders whether it might be appropriate to have a fairly general function for building matrices by blocks:...
-
16:28 CoCoA-5 Feature #309: (Multi)BlockMatrix
- added ConcatHorList, ConcatVerList and manual
-
14:31 CoCoA-5 Feature #309: (Multi)BlockMatrix
- I thought about the code for the multi block matrix.
The input checking (size compatibility) would be *really tedious... -
09:17 CoCoA-5 Feature #309: (Multi)BlockMatrix
- We have this constructor for matrices:...
-
08:57 CoCoA-5 Feature #309 (Closed): (Multi)BlockMatrix
- It would be VERY HELPFUL to have a function, say MultiBlockMat, which takes several matrices in input and returns a m...
-
11:57 CoCoALib Feature #310 (Closed): ordering and grading (weights) matrix
- We should have a function for accessing the matrix and the grading/weights matrix of a PPOrdering.
Now we have *Ge... -
10:13 CoCoA-5 Feature #200: add modules and module operations
- added *FirstNonZeroPosn*, *homog(ModuleElem)* (for GradingDim=1)
-
10:00 CoCoA-5 Feature #306: Function for accessing the pointed value
- Implemented: seems to work fine. Example (in BuiltinFunctions.H)...
-
08:52 CoCoA-5 Feature #306 (In Progress): Function for accessing the pointed value
- Too many new functions for modules: I think I'd better start experimenting with this "shortcut" ;-)
I'll try the nam...
12 Feb 2013
-
17:39 CoCoALib Bug #178 (Feedback): IsHomog: should it throw an error when there is no grading?
-
17:33 CoCoALib Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- Should we call it *ZeroValue* instead of *NotNonZero*?
And *NegativeValue* instead of *NotNonNegative*? -
13:04 CoCoALib Design #308: Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- All CoCoALib errors which refer to zero are:
*@BadPwrZero, DivByZero, LogZero, MemPoolZero, NotNonZero, ZeroModulus, ... -
12:37 CoCoALib Design #308 (In Progress): Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- The error *@ZeroRingElem@* is used for:
@StdDeg, LC, Monic, IsIrred, MaxExponent, wdeg (& CmpWDeg & CmpWDegPartial),... -
12:13 CoCoALib Design #308 (In Progress): Error: ERR::NotNonZero instead of ERR::ZeroRingElem? [--> ReqNonZero]
- I've found the error *ERR::NotNonZero*. Should we remove *ERR::ZeroRingElem*?
(and LogZero, ZeroModulus,..)
-
16:15 CoCoA-5 Feature #273: Package for Polynomial Algebra Homomorphisms
- Questions:
What names should we use? Why does @ker@ have such a long name & the others not?... -
15:04 CoCoA-5 Design #292 (Feedback): Rename IndetsCalled to indets
- Document order of entries in the list produced by @indets(R,"y")@.
Note also that @y[2]..y[3]@ gives all indets if... -
14:29 CoCoA-5 Feature #306: Function for accessing the pointed value
- JAA likes the proposal; cannot see any obvious objection (I wonder if the compiler will).
Other possible names: @G... -
11:54 CoCoA-5 Feature #306 (Closed): Function for accessing the pointed value
- We have many arguments like...
-
12:06 CoCoA-5 Design #307 (Closed): Value::from makes BigIntValue::fromInt obsolete?
- In BuiltinFunctions there are some calls like *BigIntValue::fromInt*, *BoolValue::fromBool* (others?).
But in othe... -
11:57 CoCoA-5 Design #294: BuiltInFunctions: General "OneLiner" for arguments of different type
- added also *evalArgAsT1orT2orT3orT4* and *evalArgAsT1orT2orT3orT4orT5*
-
11:38 CoCoALib Design #305 (In Progress): FreeModule: unique copy?
- While writing this I gave myself the answer "probably NO", this is the reason:
* *general case*: just one constructo... -
11:03 CoCoA-5 Feature #200: add modules and module operations
- added *LPP*, *LPosn*, *LT*, *wdeg*
-
10:55 CoCoALib Feature #304 (In Progress): Module ordering and grading (and shifts)
-
10:52 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- That's more worrying that two compilers complain.
Despite comments in the file @Main.C@, as far as I can tell @FreeM...
Also available in: Atom