Project

General

Profile

Activity

From 13 Mar 2013 to 11 Apr 2013

11 Apr 2013

16:57 Feature #337: Module homs
To create a module hom from @M1@ to @M2@ we must specify where each generator of @M1@ maps to. These could be specif... John Abbott
16:41 Feature #340 (Feedback): "configure" does not set BOOST if there are multiple copies in "standard" location
OK, I have modified *@configure@* in the CoCoALib root directory.
Let me know if it does what you expect.
John Abbott

09 Apr 2013

17:30 Feature #340: "configure" does not set BOOST if there are multiple copies in "standard" location
How can you have have multiple of copies of BOOST in the standard location?
Perhaps you mean that there are severa...
John Abbott
17:08 Feature #340 (Closed): "configure" does not set BOOST if there are multiple copies in "standard" location
I thought that, with many BOOST to choose from @configure@ should give a warning (and a choice).
Apparently it doesn...
Anna Maria Bigatti
16:01 Support #302: Compilation on M$Windows: Visual Studio
To the last problem for Windows 64:
size_t is there unsigned __int64, but long is still 32bit. I guess that is causi...
Christof Soeger

08 Apr 2013

21:06 Design #339 (Closed): DenseUPolyClean uses size_t
@DenseUPolyClean@ uses @std::size_t@ both internally and in fn interfaces.
Is this really appropriate? If not, re...
John Abbott
20:58 Feature #143: Buchberger-Moeller (parent task)
My old impls in CoCoA-4 returned a matrix as the result: the entries in the matrix are the coeffs of the basis elemen... John Abbott
12:28 Feature #143: Buchberger-Moeller (parent task)
JAA proposes offering two functions *@IdealOfPoints@* (for the affine case) and *@IdealOfProjectivePoints@* (for the ... John Abbott
12:10 Feature #143: Buchberger-Moeller (parent task)
What output do we want or need from the Buchberger-Moeller implementations?
# generators of the ideal (list of polyn...
John Abbott
16:11 Feature #337 (New): Module homs
Implement module homs. John Abbott
15:31 Bug #335 (Closed): Equality of (sub)modules
Make equality testing of two (sub)modules work as it does for ideals
(_i.e._ using G-bases check both inclusions).
...
John Abbott

05 Apr 2013

14:06 Feature #145: Buchberger-Moeller: fast modular impl
... and import cocoa-4 code
Anna Maria Bigatti

28 Mar 2013

17:11 Support #26: Redmine Administration
I'm not sure which version of *redmine* we are using, but a new stable release was announced just a week ago. Should... John Abbott
17:06 Feature #72: MatByRows, MatByCols
JAA notes that there is a ctor for @DenseMat@ which behaves as @MatByRows@ except that it makes a copy of the entries... John Abbott

27 Mar 2013

20:02 Bug #119: CoCoA4io
This is a silly mindless task, but it needs to be done (and the sooner the better).
John Abbott
19:38 Feature #145: Buchberger-Moeller: fast modular impl
Just a pointless comment to "wake up" this issue.
John Abbott
19:36 Support #140 (Feedback): Doc & example for convert
All calls to @convert@ have been eliminated (replaced).
The conversion from @BigInt@ and @BigRat@ to @string@ has ...
John Abbott
11:38 Support #195: OrdvArith documentation needs rewriting
JAA has added a new class *@StdDegRevLex2@*.
This appears to offer a cleaner and faster impl -- but its speed has ye...
John Abbott

26 Mar 2013

16:43 Support #140: Doc & example for convert
I have removed @convert@ (and replaced all calls to it).
Modified the doc for the conversion functions.
Modified th...
John Abbott

25 Mar 2013

18:51 Support #140 (In Progress): Doc & example for convert
JAA has improved the doc for the type conversion fns @convert@, @IsConvertible@ and @ConvertTo@.
Still to be done:...
John Abbott
18:40 Bug #135 (Feedback): Revise interface to SmallFpImpl & friends
Revised interface now works well in the context of @DUPFp@.
Updated all 3 impls, and their doc.
Perhaps revise im...
John Abbott

20 Mar 2013

23:22 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-...
John Abbott
23:17 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...
John Abbott

19 Mar 2013

10:35 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...
Christof Soeger

15 Mar 2013

17:40 Bug #326: C++ nasty surprises
*2013-03-14* Got burned in @OrdvArith.C@ (fn @CmpWDegPartial@) by a silent conversion from @unsigned long@ to @signed... John Abbott
17:35 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. John Abbott
17:05 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)*.
John Abbott
16:32 Feature #269: PPMonoids: check for exponent overflow in power function
All tests pass on my machine. Anna Maria Bigatti
16:28 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.
John Abbott
15:59 Feature #223: Automatic mapping of RingElems
cvs-ed Anna Maria Bigatti
15:36 Feature #223 (Feedback): Automatic mapping of RingElems
Anna Maria Bigatti
12:12 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...
John Abbott
 

Also available in: Atom