CoCoA

05 Dec 2014

22:40 CoCoA-5 Feature #652 (In Progress): Flag to enable/disable printing of list of loaded packages

I have modified @Main.C@ but not checked in -- will discuss with Anna first.
* replaced @bool printPremable@ by @int... John Abbott

04 Dec 2014

15:39 CoCoA-5 Feature #653: Emacs UI: use "warning colour" for an unmatched */

I agree, it would be nice.
But I have no idea how to achieve it :-( Anna Maria Bigatti

15:22 CoCoA-5 Feature #653: Emacs UI: use "warning colour" for an unmatched */

Not very important --> low priority.
Not sure how easy this might be; given the low importance, I'd say it's worth d... John Abbott

15:20 CoCoA-5 Feature #653 (New): Emacs UI: use "warning colour" for an unmatched */

It may be helpful to have the emacs UI use a visible "warning colour" for an unmatched @*/@ comment end marker.
John Abbott

28 Nov 2014

11:40 CoCoA-5 Feature #652: Flag to enable/disable printing of list of loaded packages

Anna points out that there is already a similar flag (@--no-preamble@) which is used when running the CoCoA-5 tests (... John Abbott

11:15 CoCoA-5 Feature #652: Flag to enable/disable printing of list of loaded packages

I have made this change:
the list of packages loaded at the start are printed into @ostringstream PkgOut@ (in Main.C... Anna Maria Bigatti

11:06 CoCoA-5 Feature #652 (Closed): Flag to enable/disable printing of list of loaded packages

Add a command-line flag to enable printing of package names as they are loaded. Currently the names are always print... John Abbott

21 Nov 2014

16:15 CoCoALib Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)

John Abbott wrote:
> Anna did report disappointing performance from the initial implementation -- she will investiga... Anna Maria Bigatti

11:32 CoCoALib Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)

At a meeting yesterday it was decided that effort should be put into developing/refining *@ImplicitDirectWithCond@*. ... John Abbott

11:30 CoCoALib Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)

The very latest version of @ImplicitByPoints3@ does occasionally go a little faster than @ImplicitDirectLPP2@, but it... John Abbott

17 Nov 2014

16:04 CoCoALib Design #649: Make SmallFpImpl safer to use

I've just wasted a good hour trying to figure out why my new code was about 10% slower than the old code.
The reason... John Abbott

11:54 CoCoALib Feature #651: Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)

JAA has implemented in C++/CoCoALib (first prototypes of): @ImplicitDirect@ (with variants @LPP@ and @WithCond@), als... John Abbott

11:38 CoCoALib Bug #648 (Closed): QBGenerator crashes

John Abbott

13 Nov 2014

13:44 CoCoALib Feature #651 (In Progress): Optimized algorithms for implicitization (slicing algorithm, elim, subalgebra..)

(may keywords in the title to simplify future searches ;-)
Investigate new algorithms for implicitization, i.e. fi... Anna Maria Bigatti

12 Nov 2014

19:03 CoCoALib Design #649: Make SmallFpImpl safer to use

I have implemented both (1) and (2). A quick comparison suggests that they are roughly equal in speed (but I'm still... John Abbott

11:30 CoCoALib Design #649: Make SmallFpImpl safer to use

It is not true that approach (1) allows the user to use 0 and 1 as arguments to the memfns. In fact, the only use in... John Abbott

11:26 CoCoA-5 Bug #650: CoCoA-5 test (SourceAnna); problem in HilbertPoly

I have already reported by phone that there is a problem (with @SourceAnna@) on 32-bit Linux.
On my 64-bit MacOSX ... John Abbott

11:22 CoCoA-5 Bug #650 (Closed): CoCoA-5 test (SourceAnna); problem in HilbertPoly

Sometimes the CoCoA-5 test @SourceAnna@ fails (on 64-bit MacOSX).
The problem appears when executing the line:
<p... John Abbott

11 Nov 2014

23:20 CoCoALib Bug #593: Temporary directories used during configuration

I have had further problems with @trap@ in the script @gmp-try-default.sh@ on some Linux boxes. This is further moti... John Abbott

23:13 CoCoALib Design #649 (In Progress): Make SmallFpImpl safer to use

Here are 2 candidate solutions:
# use a new type for the values (_e.g._ a class or struct containing the currently us... John Abbott

23:03 CoCoALib Design #649: Make SmallFpImpl safer to use

The problem is that all the member functions accept any integral type, but most should accept only @SmallFpImpl::valu... John Abbott

22:58 CoCoALib Design #649 (Closed): Make SmallFpImpl safer to use

After having wasted an hour or two tracking down a bug (in code which looked "obviously correct"), I want to make @Sm... John Abbott

14:13 CoCoALib Bug #648 (Resolved): QBGenerator crashes

I think I may have solved the issue: my code wrote one place beyond the end of a vector (and presumably this overwrot... John Abbott

12:09 CoCoALib Bug #648: QBGenerator crashes

The bug did not show up on a (32-bit) Linux VM; nor on a 32-bit Linux netbook.
The bug does not arise when compile... John Abbott

09:50 CoCoALib Bug #648: QBGenerator crashes

Still not tracked down the bug :-(
The bug vanishes when I use @valgrind@ -- how can that be?
The bug persists ... John Abbott

10 Nov 2014

21:43 CoCoALib Bug #648: QBGenerator crashes

Trying to find a simple program which produces the bug; first attempts failed.
Also trying @valgrind@.
John Abbott

21:22 CoCoALib Bug #648 (Closed): QBGenerator crashes

I have a program which causes @QBGenerator@ to produce a SEGV.
Even just printing the @QBGenerator@ causes a SEGV:
... John Abbott

16:55 CoCoALib Design #647: Unique copies of free modules?

Are the concepts of *free module with shifts* and *free module without shifts* distinct?
Note that the notion of s... John Abbott

16:51 CoCoALib Design #647: Unique copies of free modules?

Currently I'm considering offer two ways of "creating" a free module:
# "create" a unique free module (of dim @n@ ov... John Abbott

16:45 CoCoALib Design #647: Unique copies of free modules?

After speaking to Anna... here are some aspects to consider:
* a major use of modules in CoCoA is for syzygy modules... John Abbott

16:36 CoCoALib Design #647 (New): Unique copies of free modules?

Discuss having unique copies of free modules; or at least that the default creation mechanism should not produce dist... John Abbott

16:42 CoCoA-5 Design #646: Unique copies of free modules?

I propose putting all the technical discussion in #647, a parallel issue to this one (since practically all the real ... John Abbott

16:33 CoCoA-5 Design #646 (New): Unique copies of free modules?

A recent bug report from Oneto suggests that it is surprising/unnatural that @NewFreeModule@ should create distinct (... John Abbott