Activity
From 25 Jan 2013 to 23 Feb 2013
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*)...
-
- 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...
18 Feb 2013
-
- No problems have surfaced in 2 months. Doc is present; tests are present.
Closing this issue.
-
- Add doc for *@NBM@* and *@SOI@*.
Also add examples and tests.
-
- Added doc.
-
- After implementing the change about a month ago, no problems have cropped up.
Final decision: package exported nam... -
- *Anna:* check with Claudia & Laura whether the proposed interface will suffice for all reasonable variants of SOI/NBM...
-
- Eva reported no problems.
Code probably still needs to be cleaned.
Documentation (file @ApproxPts2.txt@) is complet... -
- We have agreed to implement the decision in note 6.
-
- It seems to work fine (after 7 months since finishing the code).
No documentation currently -- not sure where it wou... -
- Well, it seems that Anna forgot to close this one...
Implemented, documented; appears to work fine.
So closing now. -
- Since no problems have surfaced in the last 4 months, I'm closing this issue. The code and doc appear to be correctl...
-
- No problems have surfaced in 4 months; the doc seems to be correct too.
So I'm closing this issue.
-
- Since no problems have surfaced in 4 months, I regard this matter as fully resolved, so I am closing it.
15 Feb 2013
-
- ex-PolyRing1 with debugging active fails:...
-
- Added impls of *@RatReconstructByContFrac@* and *@RatReconstructByLattice@*; also added doc, and an example (@ex-NumT...
-
- It's not very important, but JAA thinks that *@LongRange@* should not be inline:
its impl is not that short, and run... -
- Should we use in cocoa-5 the rule odd and even numbers for snapshots/official versions?
(e.g. 5.0.3 is snapshot ;-)
-
- Same as lex, StdDegLex, ... also *Elim(vector<long>)* should be implemented as a *PPOrderingCtor*
-
- added *HomogElimMat* and *ElimMat*, and documented.
Remark: JAA says that in the "::=" ring contructor we should h... -
- 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
-
- It is a shame to have to include the standard header @<vector>@ in the file @utils.H@.
It may not be relevant, but I... -
- I do miss in C++ the convenient cocoa syntax *a..b*.
In fact it is particularly useful for calling *submat*.
So I s... -
- How about renaming the current @BlockMat@ to *@BlockMat2x2@*,
and the new fn @MultiBlockMat@ to just plain *@BlockMa... -
-
- Now we have
NewDenseMatXel(long n);
NewDenseMatRevLex(long n);
NewDenseMatStdDegRevLex(long n);
NewDe...
13 Feb 2013
-
- added JAA's definition of MultiBlockMat into manual entry of BlockMat
(and also search keys)... -
- John Abbott wrote:
> JAA wonders whether it might be appropriate to have a fairly general function for building matri... -
- JAA wonders whether it might be appropriate to have a fairly general function for building matrices by blocks:...
-
- added ConcatHorList, ConcatVerList and manual
-
- I thought about the code for the multi block matrix.
The input checking (size compatibility) would be *really tedious... -
- 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...
-
- We should have a function for accessing the matrix and the grading/weights matrix of a PPOrdering.
Now we have *Ge... -
- added *FirstNonZeroPosn*, *homog(ModuleElem)* (for GradingDim=1)
-
- Implemented: seems to work fine. Example (in BuiltinFunctions.H)...
-
- Too many new functions for modules: I think I'd better start experimenting with this "shortcut" ;-)
I'll try the nam...
12 Feb 2013
-
-
- Should we call it *ZeroValue* instead of *NotNonZero*?
And *NegativeValue* instead of *NotNonNegative*? -
- All CoCoALib errors which refer to zero are:
*@BadPwrZero, DivByZero, LogZero, MemPoolZero, NotNonZero, ZeroModulus, ... -
- The error *@ZeroRingElem@* is used for:
@StdDeg, LC, Monic, IsIrred, MaxExponent, wdeg (& CmpWDeg & CmpWDegPartial),... -
- I've found the error *ERR::NotNonZero*. Should we remove *ERR::ZeroRingElem*?
(and LogZero, ZeroModulus,..)
-
- Questions:
What names should we use? Why does @ker@ have such a long name & the others not?... -
- Document order of entries in the list produced by @indets(R,"y")@.
Note also that @y[2]..y[3]@ gives all indets if... -
- JAA likes the proposal; cannot see any obvious objection (I wonder if the compiler will).
Other possible names: @G... -
- We have many arguments like...
-
- In BuiltinFunctions there are some calls like *BigIntValue::fromInt*, *BoolValue::fromBool* (others?).
But in othe... -
- added also *evalArgAsT1orT2orT3orT4* and *evalArgAsT1orT2orT3orT4orT5*
-
- While writing this I gave myself the answer "probably NO", this is the reason:
* *general case*: just one constructo... -
- added *LPP*, *LPosn*, *LT*, *wdeg*
-
-
- That's more worrying that two compilers complain.
Despite comments in the file @Main.C@, as far as I can tell @FreeM...
11 Feb 2013
-
18:49 CoCoALib Support #302: Compilation on M$Windows: Visual Studio
- John Abbott wrote:
> Try separating the definition from the declaration:
Tried, but no success :-(
With the in... -
- Try separating the definition from the declaration:
inside the class definition put just... -
- Next I tried to build the console application. It does not need qt.
But here I get an error during the compilation... -
- Anna Maria Bigatti wrote:
> Christof Soeger wrote:
> > I'm aware that the RandomXYZ.C files are removed. I only wan... -
- Christof Soeger wrote:
> I'm aware that the RandomXYZ.C files are removed. I only wanted to document that this chang... -
- I agree that most warnings are not important, I just wanted to give them to you, since they are valid sometimes. And ...
-
- ...
-
- ...
-
- Please disable your compiler's warning about automatic conversion from @int@ to @bool@. Many basic functions "inheri...
-
- The source files @RandomXYZ.C@ were removed from CVS some time (months) ago. Please update from the current CVS.
-
- Even Microsoft says that it should work with an @unsigned long@:
*@http://msdn.microsoft.com/en-us/library/zfae7kt8%2... -
- On my work laptop I have VS 2010. In addition to the already mentioned points I get an error:...
-
- I think "ExternalLibs-NormalizTypes.C" is a relict from the time when libnormaliz was not a compiled independently an...
-
- Bruno wrote:
I tried the new cocoa version and it is different from the version you
sent me. There is at least a ... -
- We should offer all documentation is needed for compiling CoCoALib/CoCoA-5 on MSWindows.
CoCoA-5 has been compiled... -
- Now the function *NewFreeModule(R, n)* calls *NewGradedFreeModule(R, n)* when *R* is a polynomial ring (more precisel...
-
- Set the interface for ordering and grading (and then shifts)
Add tests and examples.
Port to CoCoA5 -
-
- When add a new function it is good practice to have:
* in *BuiltinOneLiner.C* only functions using the "one-line" de... -
-
- I prefer *cols* (always the same abbreviation).
Or should it be *GetCols*?
Which name represents better it is makin... -
- Two new fns *@rows(M)@* and *@cols(M)@* -- or should its name be *@columns@*?
These take a matrix and return a lis... -
-
-
- The hardest parts will be fixing the UI and choosing the name(s) of the fn(s).
I should also put in my impl of the... -
-
08 Feb 2013
-
- Check compatibility of fn names with those in CoCoA-5 (see #206).
Need fast lin sys solving over QQ for Buchberger... -
- Let @X@ be a ring elem belonging to a finite field.
How can I get an integer value from @X@?
At the moment *@AsINT(... -
- Implement the various fault tolerant rational reconstruction algms, and incorporate them into CoCoALib.
Experiment... -
06 Feb 2013
-
- After a fresh install I can confirm it still works as before. :-)
The INSTALL-cygwin file is indeed helpful. It sa... -
- Both ways make sense, then I think we should follow the usual rule: "do what other systems do" (and then find a good ...
05 Feb 2013
-
- Non sono d'accordo. Se si guarda la risposta, non si può proprio capire che le soluzioni sono le colonne.
Infatti que... -
- I think that solutions (and kernel) *X* should be written so that
*AX = b* and that is what we have chosen for CoCoA...
04 Feb 2013
-
- Removed leaks from *toric*.
This is now the situation on my Mac (which seems to have the mentioned problem with "thro... -
- Renzo does not like the current interface where the elements of the kernel appear as *columns* rather than rows. He ...
30 Jan 2013
-
- The message saying that cocoa is running should be close to the output window (instead of at the bottom)
-
- I think *GensToCols/GensToRows* would be quite useful functions, but what would be the actual meaning? It should rep...
-
- It would make lots of sense a syntax for creating a submodule from a matrix.
I suggest the syntax *SubmoduleCols(F,M... -
- I added (in CoCoA-5) the function *ModuleOf* analogue for *RingOf*
Does it make sense? for a ModuleElem yes, for a ...
28 Jan 2013
-
- JAA has corrected the leak which was detected in @test-RingElem1@.
JAA running @valgrind-3.8.1@ on his computer was ... -
- Almost all tests run with @definitely lost: 0 bytes in 0 blocks@.
These are the exceptions (I guess many are related)... -
- We say CoCoALib does not leak memory, and that's mostly true.
Run...
25 Jan 2013
-
- Definitely *@valgrind@* time!
I suppose the bug never revealed itself before because @malloc@ may well reserve sli... -
- Still some error (I guess of the same nature): this time triggered by...
-
- This was (one of) the bug(s?)...
-
- Currently (25th Jan 2013) we have this inheritance:...
Also available in: Atom