Activity
From 14 Sep 2012 to 13 Oct 2012
12 Oct 2012
- 19:22 Bug #264 (Closed): Compilation problem with "degree.H" (inline fn defns)
- I have a very strange problem compiling the debug2 version.
(indeed it is not related with debugging at all, but wit... - 15:12 Support #75: Documentation review by Caleo
- Alessandra reports:
* *@examples/CopyInfo.C@* is not an example -- Anna has added a comment to the file
* incomple...
11 Oct 2012
- 19:07 Support #262: Play with GIT
- Now we have a git copy of cocoalib to play with.
Moreover I tried to make a new small project (math exercises ;-) ... - 18:34 Feature #261: Review the utility of RefRingElem
- I have replaced all occurrences of *@RefRingElem@* (usually by *@RingElem&@*),
and made a few scattered minor chang... - 16:12 Feature #261: Review the utility of RefRingElem
- I have implemented a reasonably clean solution to case *C*; it is exception safe but does make a "wasteful copy".
... - 16:51 Design #263 (New): Move the various <matrix>::mySetEntry procedures into MatrixBase
- The impls for *@ConcatVerImpl::mySetEntry@* are completely general, so move them up to the base class.
10 Oct 2012
- 17:22 Support #262: Play with GIT
- I used some of the ideas from
http://undefinedvalue.com/2010/07/02/workflow-remote-cvs-local-git
to use git on my s... - 16:44 Support #262 (In Progress): Play with GIT
- Anna & John: Use a temporary copy of CoCoALib to learn the various GIT commands.
- 15:51 Feature #261: Review the utility of RefRingElem
- I have modified the source code in the 4 areas indicated in my previous post. It all compiles and the tests pass.
... - 12:07 Feature #261: Review the utility of RefRingElem
- I am considering eliminating the type @RefRingElem@. To do this I must find out where the type is used.
The type @R... - 10:36 Feature #261: Review the utility of RefRingElem
- JAA is currently assessing how useful/necessary @RefRingElem@ is; the hope is that they can simply be eliminated (alo...
- 10:33 Feature #261 (Closed): Review the utility of RefRingElem
- From studying issue #221 it has become apparent that the role of *@RefRingElem@* needs urgent review.
09 Oct 2012
- 15:55 Feature #259 (Closed): Squarefree(?) GCD-free basis
- Hensel lifting for univariate GCDs requires a squarefree GCDfree basis.
There is an implementation in @GCDfreeBasis.... - 15:51 Feature #258 (New): Multivariate lifting
- In CoCoA-4 there is some rather inefficient code for multivariate lifting. Can it be made more efficient?
In any ... - 15:36 Feature #257 (New): Transcribe C4 code for GCD in QQ[x]
- The old CoCoA-4 univariate GCD code should be transcribed into CoCoALib.
It comprises:
* gcd in Fp[x] via standar... - 15:28 Feature #209: ReadExpr: input polynomials in CoCoALib
- [following on from a discussion with Christof]
It does not seem to be possible to allow more than one input expressi... - 14:49 Feature #11: Bareiss algorithm
- Any progress?
- 14:48 Feature #222: Printing polynomials - spaces between terms
- JAA proposes the following guideline:
a coefficient is printed between brackets except when:
* the coefficients @+1@...
08 Oct 2012
- 16:33 Support #256 (Closed): Improve doc about ordering/grading for poly rings
- Specify what default grading is.
- 16:32 Feature #255 (Closed): Use BOOST lib default location if possible
- As we did for GMP (see #247)
- 16:25 Feature #253: W.Bruns's wish list
- Closed issue #247 has satisfied wish (7).
- 16:21 Feature #222 (In Progress): Printing polynomials - spaces between terms
- 13:10 Feature #222: Printing polynomials - spaces between terms
- Christof and John looked at various possible printed forms of *@(3-2*x)^5@*...
- 16:00 Design #254 (Closed): How to return a Hilbert Series in CoCoALib
- Right now Hilbert series do not exist in CoCoALib.
In CoCoA-5 they are built in the package @hp.cpkg5@.
Now we ne... - 12:36 Support #234: Update/Improve geobucket documentation
- Don't forget the *@DEBUG2@* setting available in @autoconf.mk@; it activates checking in @MemPool@ managed memory, an...
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...
- 17:42 Support #234: Update/Improve geobucket documentation
- Improved all multivariate polynomials (using new function *myAddMonomial*)
Need some memory checking, just to make s... - 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... - 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 ... - 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... - 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...
- 11:43 Feature #218: CoCoALib normaliz interface
- * Made the NewCone functions to constructors of cone.
* Introduced some abbreviation in the method names:
Integral... - 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...
- 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...
04 Oct 2012
- 18:49 Feature #253 (In Progress): W.Bruns's wish list
- 12:54 Feature #253: W.Bruns's wish list
- Implemented Bruns(10): "multiplicity" instead of "exponents" in @factorization@
- 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... - 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 ... - 17:47 Feature #224 (In Progress): Leading form
- 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...
- 12:48 Support #234: Update/Improve geobucket documentation
- Anna will add a clear example.
- 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...
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... - 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... - 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... - 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... - 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...
02 Oct 2012
- 19:01 Feature #236 (In Progress): Add homog (homogenized) for ideal
- Most of the work is done.
- 17:42 Feature #221: Better RingElems
- Non homogeneous assignment of @RingElem@ is trickier than I thought (because of the inheritance from *@RefRingElem@*)...
- 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...
- 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 - 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...
01 Oct 2012
- 18:26 Feature #241 (Closed): AreMonomials
- Works fine. Thanks!
- 15:43 Feature #213 (Closed): test-Normaliz1.C
- 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...
- 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...
- 13:03 Feature #248 (Closed): IsDivisible for RingElem with nice interface
- The function...
- 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.
- 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...
28 Sep 2012
- 18:27 Feature #244: Rings: default ctor & assignment
- OK! As I said for #221
- 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... - 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 ... - 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...
- 14:20 Feature #221: Better RingElems
- *Case (A)* We have decided that this code:...
- 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... - 16:04 Feature #241 (Resolved): AreMonomials
- Done: PolyRing
(now I write the documentation. Where? RingElem.txt?) - 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...
- 15:26 Support #75: Documentation review by Caleo
- Alessandra:
* several guidelines for improving *@DynamicBitset@* (doc and example)
* approved @symbol@, @ideal@, @fac... - 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...
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).
- 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 ... - 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 - 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 ...
25 Sep 2012
- 16:44 Support #234 (Closed): Update/Improve geobucket documentation
- The geobucket doc is very old and needs a major revision.
- 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... - 16:00 Feature #221 (In Progress): Better RingElems
- 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...
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 ... - 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...
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... - 14:44 Support #75: Documentation review by Caleo
- Alessandra has decided to do 3 rather than 4 credits.
- 14:50 Support #231 (New): Documentation for QBGenerator needs to be improved.
- Improve maintainer doc for @QBGenerator@.
- 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...
- 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...
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 ...
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... - 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...
Also available in: Atom