Activity
From 06 Sep 2012 to 05 Oct 2012
05 Oct 2012
- 18:07 CoCoALib 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 CoCoALib Support #234: Update/Improve geobucket documentation
- Improved all multivariate polynomials (using new function *myAddMonomial*)
Need some memory checking, just to make s... - 16:17 CoCoALib 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 CoCoALib 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:40 CoCoA-5 Feature #243: Normaliz tests for CoCoA5
- Add some tests and will extend it when new Nmz functions come.
- 17:29 CoCoALib 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 CoCoALib 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 CoCoALib Feature #218: CoCoALib normaliz interface
- * Made the NewCone functions to constructors of cone.
* Introduced some abbreviation in the method names:
Integral... - 17:22 CoCoA-5 Feature #204: NmzComputation: the powerful NormalizComputation function in CoCoA-5
- ...
- 12:25 CoCoALib 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 CoCoALib 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 CoCoALib Feature #253 (In Progress): W.Bruns's wish list
- 12:54 CoCoALib Feature #253: W.Bruns's wish list
- Implemented Bruns(10): "multiplicity" instead of "exponents" in @factorization@
- 12:50 CoCoALib 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 CoCoALib 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 CoCoALib Feature #224 (In Progress): Leading form
- 12:26 CoCoALib 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...
- 13:00 Feature #214 (Closed): gmp header location assumption in configure script
- 12:58 Feature #247 (Resolved): Use gmp default location if possible
- 12:48 CoCoALib Support #234: Update/Improve geobucket documentation
- Anna will add a clear example.
- 12:22 CoCoALib Feature #233 (In Progress): AsINT and AsRAT -- ConvertTo<BigInt> and ConvertTo<BigRat>
- JAA suggests using the @convert@ family for achieving this. For instance...
- 12:12 CoCoA-5 Feature #7: Automatic mapping between (some) rings
- Assignment of an integer (or rational) to a RingElem will automatically map into the ring.
However, we want to be ...
03 Oct 2012
- 18:28 CoCoALib 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 CoCoALib 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 CoCoALib 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... - 17:05 CoCoA-5 Bug #249 (Closed): BuiltIn Normaliz functions not available in CoCoA5Interpreter
- Due to a change of the compile flags variables in the autoconf.mk and a seperated build command for cocoa5 the COCOA_...
- 16:31 CoCoALib 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:34 CoCoA-5 Feature #237 (In Progress): port homog/homogenized for ideal to cocoa-5
- Still missing: multihomogenization.
- 14:32 CoCoALib 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 CoCoALib Feature #236 (In Progress): Add homog (homogenized) for ideal
- Most of the work is done.
- 17:42 CoCoALib Feature #221: Better RingElems
- Non homogeneous assignment of @RingElem@ is trickier than I thought (because of the inheritance from *@RefRingElem@*)...
- 12:21 CoCoALib 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 CoCoALib Feature #218: CoCoALib normaliz interface
- We agreed on:
keep the SmartPtr class cone
remove the abstract base class
name the implementation class ConeImpl - 14:04 CoCoA-5 Support #242: CoCoA-5 Projects for students (e.g. crediti F and tesi)
- Several CoCoALib test files need to be improved, and probably some more new ones written. This could also prove a us...
- 10:31 CoCoALib 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... - 09:57 CoCoA-5 Feature #243: Normaliz tests for CoCoA5
- CVSed first trivial test for Normaliz and mechanisms for running it when *HAVE_NORMALIZ=yes*
(modified RunTests.sh mo... - 09:54 CoCoA-5 Support #251: How to add a test for CoCoA-5 (CoCoAInterpreter)
- *For external libraries*:
same as above, but the test file has to be called, say for library *Foo*,
*ExtLibFOO.coco... - 09:10 CoCoA-5 Support #251 (Closed): How to add a test for CoCoA-5 (CoCoAInterpreter)
- # write a test file *foo.cocoa5* in *tests/*
# run it and check if it really does what you want it to do ;-)
# add ... - 08:35 CoCoA-5 Feature #19: How to get the version number of CoCoA-5?
- Added field @CompilationDefines@
(used to be part of @CompilationFlags@)
- 08:32 CoCoA-5 Feature #250 (Closed): CoCoALib BuildInfo vs CoCoA-5 VersionInfo
- Some functions defined in VersionInfo are just returning strings defined in BuildInfo.
Should this structure be simp... - 08:13 CoCoA-5 Bug #249: BuiltIn Normaliz functions not available in CoCoA5Interpreter
- Very strange! I compiled yesterday and I see (at least one of ;-) Normaliz functions...
01 Oct 2012
- 18:44 CoCoA-5 Bug #249 (Closed): BuiltIn Normaliz functions not available in CoCoA5Interpreter
- Now Normaliz is available in C5 (see #207) but not in the text interpreter, very strange.
But it shows that tests f... - 18:26 CoCoALib Feature #241 (Closed): AreMonomials
- Works fine. Thanks!
- 17:11 CoCoA-5 Feature #243: Normaliz tests for CoCoA5
- Another possibility is to modify the test script to behave slightly different with external libs. For an example libr...
- 11:27 CoCoA-5 Feature #243: Normaliz tests for CoCoA5
- the line in Makefile running the tests is...
- 16:47 CoCoA-5 Support #240: GUI compilation: GMP is not naturally thread-safe
- it works for me!
- 11:38 CoCoA-5 Support #240 (Resolved): GUI compilation: GMP is not naturally thread-safe
- If Anna and Renzo confirm that my solution works for them too, I'll close this issue.
- 15:43 CoCoALib Feature #213 (Closed): test-Normaliz1.C
- 14:05 CoCoALib 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 CoCoALib 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 CoCoALib Feature #248 (Closed): IsDivisible for RingElem with nice interface
- The function...
- 12:50 Feature #247: Use gmp default location if possible
- Waiting for confirmation from *John* and *Anna* that Christof's new script works on their computers. Will close if al...
- 12:40 Feature #247 (Closed): Use gmp default location if possible
- The configure script currently wants to get the path to the gmp headers and libraries. If there is a system default i...
- 12:24 CoCoALib 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 CoCoALib Feature #246 (New): Approx QIR
- Implement (in C++) approximate QIR following the article by Kerber+Sagraloff (publ ISSAC 2011).
The impl will need... - 12:18 Feature #214 (Resolved): gmp header location assumption in configure script
- Waiting for confirmation from *John* and *Anna* that Christof's new script works on their computers. Will close if a...
- 12:13 Feature #214: gmp header location assumption in configure script
- Works for me.
- 11:28 CoCoA-5 Feature #245: Meaningful error for functions defined in "missing" external library
- Here is a reasonable proposal for how we could implement the ideas above.
We define a CPP macro called @DECLARE_MISS... - 11:13 CoCoA-5 Feature #245: Meaningful error for functions defined in "missing" external library
- Initially I was unconvinced, but then realised that an error message is necessary, and naturally the error message sh...
- 10:19 CoCoA-5 Feature #245 (Closed): Meaningful error for functions defined in "missing" external library
- Right now if an external library, say, Normaliz is not linked in, all its cocoa-5 functions are not defined.
This me...
28 Sep 2012
- 18:27 CoCoALib Feature #244: Rings: default ctor & assignment
- OK! As I said for #221
- 17:52 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Feature #221: Better RingElems
- *Case (A)* We have decided that this code:...
- 17:31 CoCoA-5 Feature #243 (Closed): Normaliz tests for CoCoA5
- I will make a little Normaliz test CoCoA5 script.
But we have to find a way how to let it run automatically if and... - 17:00 CoCoALib Support #26: Redmine Administration
- To close a "version":
go to roadmap
select the version
top right corner (usually outside my narrow window..) there... - 16:18 CoCoA-5 Support #242 (In Progress): CoCoA-5 Projects for students (e.g. crediti F and tesi)
- Here we list all ideas for possible student projects.
Some are already in redmine, so we just add them as "related i... - 16:04 CoCoALib Feature #241 (Resolved): AreMonomials
- Done: PolyRing
(now I write the documentation. Where? RingElem.txt?) - 14:24 CoCoALib 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 CoCoALib Support #75: Documentation review by Caleo
- Alessandra:
* several guidelines for improving *@DynamicBitset@* (doc and example)
* approved @symbol@, @ideal@, @fac... - 12:49 CoCoA-5 Support #240 (In Progress): GUI compilation: GMP is not naturally thread-safe
- I confirmed the problem using the GUI on my computer (Mac OS 10.5.8).
I reinstalled GMP (version 5.0.5), selecting a... - 12:05 CoCoALib 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...
27 Sep 2012
- 18:26 CoCoA-5 Support #240: GUI compilation: GMP is not naturally thread-safe
- The first failing computation was (by L.Robbiano)...
- 18:24 CoCoA-5 Support #240 (Closed): GUI compilation: GMP is not naturally thread-safe
- Difficult to notice, but it appears that the GUI (rarely) crashes (maybe!) for GMP not being thread-safe (the GUI run...
- 18:16 Bug #238: Cleaner CVS?
- Here is why I think the dependency files and the C5.pro file should not be in there.
1) They are generated automat... - 18:10 CoCoA-5 Bug #239 (Resolved): Normaliz functions not available in C5 GUI (again!)
- The problem turned out to be not passing @-DCoCoA_WITH_NORMALIZ@ flag to the script which builds @C5Makefile@.
The... - 18:03 CoCoA-5 Bug #239 (Closed): Normaliz functions not available in C5 GUI (again!)
- The builtin normaliz functions are not available in the C5 GUI.
26 Sep 2012
- 17:53 CoCoA-5 Bug #220 (Closed): Trouble on Linux: many CoCoA-5 tests fail (0.9952)
- 17:52 CoCoA-5 Bug #197: ./C5.bin: fork: Resource temporarily unavailable
- In the @src/CoCoA-5/@ directory I found that @make clean; make@ was sufficient on my computer.
- 17:26 Bug #238: Cleaner CVS?
- Yes, shell scripts are much more readable than @Makefile@ code. So we arrange for the @make@ target to call your she...
- 16:47 Bug #238: Cleaner CVS?
- John Abbott wrote:
> Christof suggests making a cleaner CVS repository:
> (essentially all generated files should n... - 16:17 Bug #238 (Closed): Cleaner CVS?
- Christof suggests making a cleaner CVS repository:
(essentially all generated files should not be in the repository)... - 14:57 CoCoA-5 Feature #237 (Closed): port homog/homogenized for ideal to cocoa-5
- 14:56 CoCoALib Feature #236 (Closed): Add homog (homogenized) for ideal
- We expect the homogenizing indeterminate is in the ring (as in cocoa-4).
- 13:11 CoCoALib 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 CoCoALib 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 CoCoALib Feature #221: Better RingElems
- If we allow "mixed ring" assignment then we should also allow "mixed ring" *@swap@*.
JAA would expect *@swap@* to ... - 10:57 CoCoA-5 Feature #235 (New): Add LucasTest to cocoa5?
- primality test implemented in CoCoALib
25 Sep 2012
- 16:44 CoCoALib Support #234 (Closed): Update/Improve geobucket documentation
- The geobucket doc is very old and needs a major revision.
- 16:32 CoCoALib 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:14 CoCoA-5 Feature #7 (In Progress): Automatic mapping between (some) rings
- 16:00 CoCoALib Feature #221 (In Progress): Better RingElems
- 15:56 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib Support #75: Documentation review by Caleo
- Alessandra helped us
* sort out doc for @ideal@, @ApproxPts@, @BuildInfo@, @error@
* improve examples for @Alexande... - 14:44 CoCoALib Support #75: Documentation review by Caleo
- Alessandra has decided to do 3 rather than 4 credits.
- 14:50 CoCoALib Support #231 (New): Documentation for QBGenerator needs to be improved.
- Improve maintainer doc for @QBGenerator@.
- 14:32 CoCoA-5 Slug #31: theValue makes copy
- Giovanni Lagorio wrote:
> The solution is to implement a move constructor in BigInt (and every "huge" data structure... - 14:22 CoCoA-5 Slug #230 (New): More curiously slow code -- squaring a polynomial
- The function @SquaredPoly@ should be of quadratic complexity, so doubling the degree should increase computation by a...
- 14:20 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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 CoCoALib 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...
10 Sep 2012
- 10:57 CoCoALib 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... - 10:46 CoCoA-5 Bug #226 (Closed): HilbertBasis segv
- ...
- 10:40 CoCoA-5 Support #225 (Closed): HilbertBasis: cocoa vs normaliz
- In CoCoA HilbertBasis(M) is the HilbertBasis of the kernel of M.
In Normaliz is the HilbertBasis of the monoid "gene...
07 Sep 2012
- 17:24 CoCoALib 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... - 12:02 CoCoALib 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...
Also available in: Atom