Project

General

Profile

Activity

From 06 Sep 2012 to 05 Oct 2012

05 Oct 2012

18:07 Feature #233: AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
If I define @ConvertTo@ for converting @RingElem@ into @BigInt@, should I define all members of the convert family fo... John Abbott
17:42 Support #234: Update/Improve geobucket documentation
Improved all multivariate polynomials (using new function *myAddMonomial*)
Need some memory checking, just to make s...
Anna Maria Bigatti
16:17 Support #234: Update/Improve geobucket documentation
I found the reason why "lhs+=f" is slow:
to guarantee *exception safety* it has to make a copy of lhs.
But, when f is...
Anna Maria Bigatti
08:50 Support #234 (In Progress): Update/Improve geobucket documentation
I made an example showing how to add one monomial at a time and comparing timings with standard "+=".
... "+=" is ...
Anna Maria Bigatti
17:29 Feature #221: Better RingElems
*2013-02-18: The problem presented in this post has been resolved by removing the class @RefRingElem@ (see #261)*
Th...
John Abbott
17:25 Feature #218: CoCoALib normaliz interface
More code clean up and use of new libnormaliz functions for meaningful error messages when something couldn't be comp... Christof Soeger
11:43 Feature #218: CoCoALib normaliz interface
* Made the NewCone functions to constructors of cone.
* Introduced some abbreviation in the method names:
Integral...
Christof Soeger
12:25 Feature #253: W.Bruns's wish list
I have changed the name of a field in a @factorization@ object: it is now @myMultiplicities@ rather than the previous... John Abbott
12:21 Feature #253: W.Bruns's wish list
There is a new configuration option *@--threadsafe-hack@* which activates the CoCoALib compilation flag @-DCoCoA_THRE... John Abbott

04 Oct 2012

18:49 Feature #253 (In Progress): W.Bruns's wish list
Anna Maria Bigatti
12:54 Feature #253: W.Bruns's wish list
Implemented Bruns(10): "multiplicity" instead of "exponents" in @factorization@ John Abbott
12:50 Feature #253 (Closed): W.Bruns's wish list
Dear Anna and John,
let me collect all the points that came up in the development of nmzIntegrate (Christof has ev...
John Abbott
18:48 Feature #224 (Resolved): Leading form
all done, all tests and documentation for CoCoALib and CoCoA-5
Need to sleep on it an tomorrow I'll check it in and ...
Anna Maria Bigatti
17:47 Feature #224 (In Progress): Leading form
Anna Maria Bigatti
12:26 Feature #224: Leading form
An interesting suggestion is to have a procedure (with 2 params) which "moves" the leading form of one param into the... John Abbott
12:48 Support #234: Update/Improve geobucket documentation
Anna will add a clear example. John Abbott
12:22 Feature #233 (In Progress): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
JAA suggests using the @convert@ family for achieving this. For instance... John Abbott

03 Oct 2012

18:28 Feature #221: Better RingElems
I've solved yesterday's problem (but still have not understood what caused it).
I was about to update the documentat...
John Abbott
18:07 Support #252: Documentation for tmp.H (utils on vectors and other containers)
My "gut feeling" is that code in @tmp.C@ should not have official documentation.
However, from a practical point o...
John Abbott
10:56 Support #252 (Closed): Documentation for tmp.H (utils on vectors and other containers)
@tmp.H@ includes some useful functions, such as *sum*, *product*, ...
but documentation is missing (of course, as it...
Anna Maria Bigatti
16:31 Feature #218: CoCoALib normaliz interface
Did what I said in the previous post and:
* Integration of the ConeImpl.myXX() into the XX(), only the myCompute fun...
Christof Soeger
14:32 Feature #236: Add homog (homogenized) for ideal
Now there are tests, and documentation.
Should also add multihomogenization: takes just some designing, all "brute c...
Anna Maria Bigatti

02 Oct 2012

19:01 Feature #236 (In Progress): Add homog (homogenized) for ideal
Most of the work is done.
Anna Maria Bigatti
17:42 Feature #221: Better RingElems
Non homogeneous assignment of @RingElem@ is trickier than I thought (because of the inheritance from *@RefRingElem@*)... John Abbott
12:21 Feature #221: Better RingElems
Note that assignment to a *@RefRingElem@* cannot change the ring to which it belongs because it may well be a referen... John Abbott
16:16 Feature #218: CoCoALib normaliz interface
We agreed on:
keep the SmartPtr class cone
remove the abstract base class
name the implementation class ConeImpl
Christof Soeger
10:31 Feature #244: Rings: default ctor & assignment
I have improved the doc for *@ring@* (adding assignment and equality tests).
I have also confirmed that the curren...
John Abbott

01 Oct 2012

18:26 Feature #241 (Closed): AreMonomials
Works fine. Thanks! Christof Soeger
15:43 Feature #213 (Closed): test-Normaliz1.C
Christof Soeger
14:05 Feature #244 (In Progress): Rings: default ctor & assignment
A simple test example showed that assignment of rings was already working. A visual check of the source for @SmartPt... John Abbott
10:15 Feature #244: Rings: default ctor & assignment
To enable assignment for *@ring@* I must enable assignment for *@SmartPtrIRC@*. I wonder what consequences that will... John Abbott
13:03 Feature #248 (Closed): IsDivisible for RingElem with nice interface
The function... Christof Soeger
12:24 Feature #246: Approx QIR
The web page for MPFR reports that there is a library *MPFI* which implements interval arithmetic on top of MPFR.
John Abbott
11:45 Feature #246 (New): Approx QIR
Implement (in C++) approximate QIR following the article by Kerber+Sagraloff (publ ISSAC 2011).
The impl will need...
John Abbott

28 Sep 2012

18:27 Feature #244: Rings: default ctor & assignment
OK! As I said for #221 Anna Maria Bigatti
17:52 Feature #244 (Closed): Rings: default ctor & assignment
JAA proposes we add:
* default ctor for *@ring@* (value is @RingZZ()@)
* assignment of rings
The second is cert...
John Abbott
17:33 Feature #221: Better RingElems
John Abbott wrote:
> Any objections to allowing assignment of values of type @ring@?
ok for me: in fact I had to ...
Anna Maria Bigatti
17:08 Feature #221: Better RingElems
To implement assignment of @RingElem@ which can change the ring, I need to allow *@ring@* to be assigned -- currently... John Abbott
14:20 Feature #221: Better RingElems
*Case (A)* We have decided that this code:... John Abbott
17:00 Support #26: Redmine Administration
To close a "version":
go to roadmap
select the version
top right corner (usually outside my narrow window..) there...
Anna Maria Bigatti
16:04 Feature #241 (Resolved): AreMonomials
Done: PolyRing
(now I write the documentation. Where? RingElem.txt?)
Anna Maria Bigatti
14:24 Feature #241 (Closed): AreMonomials
For checking the input of some CoCoA5 Normaliz functions I could use an AreMonomials(const std::vector<RingElem>& ) f... Christof Soeger
15:26 Support #75: Documentation review by Caleo
Alessandra:
* several guidelines for improving *@DynamicBitset@* (doc and example)
* approved @symbol@, @ideal@, @fac...
John Abbott
12:05 Feature #40 (Resolved): Squarefree factorization - Alessio d'Ali`
Alessio produced a slightly improved impl for computing squares, except that it actually runs slightly more slowly th... John Abbott

26 Sep 2012

14:56 Feature #236 (Closed): Add homog (homogenized) for ideal
We expect the homogenizing indeterminate is in the ring (as in cocoa-4).
Anna Maria Bigatti
13:11 Feature #223: Automatic mapping of RingElems
To make the conversion at least easier a constructor like in #7 note-4 would be helpful: *@RingElem(R, x)@*
If an ...
Christof Soeger
12:31 Feature #221: Better RingElems
John Abbott wrote:
> If we allow "mixed ring" assignment then we should also allow "mixed ring" *@swap@*.
I agree
Anna Maria Bigatti
12:26 Feature #221: Better RingElems
If we allow "mixed ring" assignment then we should also allow "mixed ring" *@swap@*.
JAA would expect *@swap@* to ...
John Abbott

25 Sep 2012

16:44 Support #234 (Closed): Update/Improve geobucket documentation
The geobucket doc is very old and needs a major revision.
John Abbott
16:32 Feature #233 (Closed): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
Should we implement functions very like *@AsINT@* and *@AsRAT@* in CoCoALib?
What should their names be? Anna sug...
John Abbott
16:00 Feature #221 (In Progress): Better RingElems
John Abbott
15:56 Feature #221: Better RingElems
Anna, Christof and John all agree that:
* the default ctor for @RingElem@ produces 0 in @ZZ@
* the rule/guideline i...
John Abbott

24 Sep 2012

19:06 Bug #232 (New): No test for QBGenerator
Add a test for @QBGenerator@.
PS I made a mistake while updating the @QBGenerator@ code, and all tests passed (so ...
John Abbott
15:45 Feature #221: Better RingElems
This may not be the correct place, but I wanted to note that until we have automatic conversions (if ever), an equali... John Abbott

21 Sep 2012

16:09 Support #75: Documentation review by Caleo
Alessandra helped us
* sort out doc for @ideal@, @ApproxPts@, @BuildInfo@, @error@
* improve examples for @Alexande...
John Abbott
14:44 Support #75: Documentation review by Caleo
Alessandra has decided to do 3 rather than 4 credits.
John Abbott
14:50 Support #231 (New): Documentation for QBGenerator needs to be improved.
Improve maintainer doc for @QBGenerator@.
John Abbott
14:20 Feature #40: Squarefree factorization - Alessio d'Ali`
> Testing has highlighted some curious (& undesirable) behaviour of the CoCoA interpreter, _e.g._ doubling the degree... Anna Maria Bigatti
12:34 Feature #40: Squarefree factorization - Alessio d'Ali`
Alessio has produced two prototype implementations in CoCoA: one computes the square "in place", the other produces a... John Abbott

19 Sep 2012

14:54 Feature #229 (New): Generator for random ring elements
Robbiano requested a function for randomizing the coeffs of a polynomial (which is just a ring elem).
It would be ...
John Abbott

18 Sep 2012

16:34 Feature #224: Leading form
Here's Bruns's original request:
do you have a function that returns the highest homogeneous component of
a polyno...
John Abbott
16:27 Bug #228 (Closed): libcocoa sometimes built without its index
Winfried Bruns reports the following issue:
... sometimes libcocoa.a is created without an index on my machines. T...
John Abbott

10 Sep 2012

10:57 Feature #227 (New): HilbertBasis from Normaliz: full-lattice or not?
Now CoCoALib offers HilbertBasis on the "holey lattice".
It would be nice to have also the "full-lattice".
Think of...
Anna Maria Bigatti

07 Sep 2012

17:24 Bug #135: Revise interface to SmallFpImpl & friends
All tests passed.
Done a Friday afternoon check-in of current "first revised" version of code.
Also revised doc for...
John Abbott
12:02 Bug #135: Revise interface to SmallFpImpl & friends
I have made a first revised impl of @SmallFpImpl@; all tests pass.
Plenty of work still to do:
* update documentati...
John Abbott
 

Also available in: Atom