CoCoA

25 Jul 2015

17:34 CoCoALib Design #683: Module index component in internal compressed representation

I shall check in shortly; anyway here is the modified line:... John Abbott

17:10 CoCoALib Design #683: Module index component in internal compressed representation

The definition on line @GBEnv.C:48@ does not work with @SmallExponent_t@ being @unsigned long@. JAA is fixing now.
John Abbott

11 Jul 2015

22:31 CoCoALib Feature #142: Improve threadsafety

I wonder whether the default configuration for CoCoALib should be the threadsafe one (which incurs a run-time efficie... John Abbott

09 Jul 2015

13:14 CoCoALib Bug #746: Problem with GBasis in tower of alg extns

Here is a transcript of what happened...... John Abbott

13:13 CoCoALib Bug #746 (New): Problem with GBasis in tower of alg extns

I tried computing a GBasis in a ring with structure like @QQ(alpha)(beta)[x]@ where @alpha@ and @beta@ are algebraic.... John Abbott

13:07 CoCoA-5 Bug #745 (Closed): Readline: avoid printing out READLINE twice

When C5 starts it prints out a list of ext libs being used; @READLINE@ appears twice. John Abbott

08:39 CoCoALib Feature #728: Noncommutative algebra "of solvable type"

No. In my understanding, John correctly described in #2 also Ore algebras (taking into account the note he later adde... Werner M Seiler

06 Jul 2015

07:43 CoCoA-5 Feature #336: Mat(Module) should give error

(brought at 100% after 2 years of being closed) Anna Maria Bigatti

07:14 CoCoALib Feature #728: Noncommutative algebra "of solvable type"

If I understood well (I asked Viktor Levandovskyy ;-) the definition in #2 is actually of G-Algebras, and Ore-Algebra... Anna Maria Bigatti

01 Jul 2015

18:40 CoCoALib Feature #520 (Closed): Compute inverse in quotient ring (i.e. division in algebraic extn)

No problems arisen in the last month (perhaps not much real testing either?)
Anyway, closing.
John Abbott

18:38 CoCoALib Support #739 (Closed): Move code in examples into namespace CoCoA

JAA checked, fixed a few oversights. Otherwise seems fine now. Closing.
John Abbott

18:12 CoCoALib Feature #721 (Closed): CheckForInterrupt: string arg to specify where it was called?

After a brief testing period, the mechanism works (but the C5 interpreter needs to be improved so that a helpful mess... John Abbott

18:11 CoCoA-5 Feature #744 (Closed): Handle interrupts more helpfully

Currently the C5 interpreter catches @CoCoA::InterruptReceived@ as it should, but it gives no message to the user. A... John Abbott

18:04 CoCoALib Feature #689 (Closed): Fault tolerant rational reconstruction: make bad factor publicly accessible

John Abbott

15:26 CoCoA-5 Slug #741: C5 GUI: slow to close

In file @C5.C:1000@ there is a function @MainWindow::closeEvent@
JAA thinks that this is probably the function ne... John Abbott

30 Jun 2015

16:20 CoCoALib Feature #743 (In Progress): Better errors: give supplementary info about the error

When CoCoALib produces an error which is then caught by CoCoA-5, the only information from the error which is shown t... John Abbott

15:57 CoCoA-5 Feature #78: Elim ordering and matrix ordering in CoCoA-5

Probably we can implement this:... Anna Maria Bigatti

15:44 CoCoA-5 Slug #741: C5 GUI: slow to close

Found this @C5.C:931@... John Abbott

15:25 CoCoA-5 Slug #741 (In Progress): C5 GUI: slow to close

Closing is practically instant if I do first a "Clear output window" and then close the C5 GUI. This suggests that c... John Abbott

15:18 CoCoA-5 Slug #741: C5 GUI: slow to close

The GUI is slow to close also after simply computing and printing @(x+y+z+1)^99@.
JAA think that this confirms tha... John Abbott

15:20 CoCoA-5 Feature #732 (Closed): Primary Decomposition in CoCoA-5: port Luis Garcia's package(cocoa-4)

syntax now aligned with Elisa Palezzato's code Anna Maria Bigatti

15:10 CoCoA-5 Feature #359 (Closed): RingOf for list

all done Anna Maria Bigatti

14:47 CoCoA-5 Feature #359 (Feedback): RingOf for list

OK for "RingsOf". Changing manual and making "RingSet" obsolscent Anna Maria Bigatti

15:07 CoCoALib Bug #631 (Closed): Ambiguous: rank for matrix (in ex-matrix1.C)

We use the name *@rk@* for the main function, but allow @Rank@ as a component of a compound name (to increase readabi... John Abbott

14:19 CoCoA-5 Feature #622 (Closed): New function: RandomSubset

Anna Maria Bigatti

11:58 CoCoALib Feature #721: CheckForInterrupt: string arg to specify where it was called?

Doesn't seem to be enough to give a suitable error message to cocoa5.
(interrupt code is in @TmpGReductor.C@ and tes... Anna Maria Bigatti

11:34 CoCoA-5 Feature #485 (Closed): Initialization for CoCoA-5: file init.cocoa5

No news on this topic for a long time: I guess that's good enough! ;-) Anna Maria Bigatti

11:30 CoCoA-5 Feature #733 (In Progress): Primary Decomposition in CoCoA-5.1.2: zero dimensional, finite characteristic

Anna Maria Bigatti

11:29 CoCoA-5 Feature #733: Primary Decomposition in CoCoA-5.1.2: zero dimensional, finite characteristic

Added the package in the distribution. Still missing: documentation, proper handling for big prime characteristic (a... Anna Maria Bigatti

11:27 CoCoA-5 Feature #719 (Feedback): Readline: consider creating a textual interpreter with readline

Tried: it works fine for me. Close? Anna Maria Bigatti

10:55 CoCoALib Support #618: Instructions for compiling libnormaliz

Normaliz is making a new release and we will refine the configuration in September (in Aarhus) Anna Maria Bigatti

10:53 CoCoALib Support #739 (Feedback): Move code in examples into namespace CoCoA

I believe it is all done: there was a problem using @program()@ instead of @CoCoA::program()@ with John compiler, it... Anna Maria Bigatti

29 Jun 2015

17:23 CoCoALib Feature #658 (In Progress): Indets actually in a poly (or vector or matrix)

Anna suggests the result could be a @DynamicBitset@; these appear to be like @vector<bool>@ but also support bitwise ... John Abbott

16:44 CoCoALib Feature #91: Return type & name for "indets" of a PP

JAA observes that we already have some vaguely similar functions:
* @radical(PP)@ same as @gcd(PP,product(all_indet... John Abbott

15:42 CoCoALib Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?

On my 32-bit linux virtual machine I observe the following:
* with @int@ and @long@ all loops take about 3.0s (NB @i... John Abbott

15:36 CoCoALib Feature #689 (Feedback): Fault tolerant rational reconstruction: make bad factor publicly accessible

Implemented. Documented. Not really tested :-(
Status --> feedback.
John Abbott

14:01 CoCoA-5 Design #490: Duplicate fns: valuation and FactorMultiplicity

The implementations appear to allow the factor (whose multiplicity is to be computed) to be composite. If the factor... John Abbott

07:52 CoCoA-5 Design #490: Duplicate fns: valuation and FactorMultiplicity

I like it as it is:... Anna Maria Bigatti

13:02 CoCoALib Slug #679 (Closed): power for PPs is too slow

Apparently everything was already checked in... So I'm considering that ad hoc in-house testing has already happened... John Abbott

28 Jun 2015

21:29 CoCoA-5 Design #490: Duplicate fns: valuation and FactorMultiplicity

Just to make life more entertaining...
* @FactorMultiplicity@ is defined in @GCDFreeBasis.cpkg5@, and does not requi... John Abbott

21:06 CoCoA-5 Design #490 (In Progress): Duplicate fns: valuation and FactorMultiplicity

After looking on Wikipedia, it seems that *valuation* is a fairly advanced concept with several different (but relate... John Abbott

21:00 CoCoA-5 Support #654 (Closed): Rename adjoint to adjugate???

John Abbott

20:43 CoCoALib Slug #742: View PP exponent vector (and order vector?) as an array of long?

I get some strange timings on my computer (MacOSX-10.5.8, old compiler).... John Abbott

20:35 CoCoALib Slug #742: View PP exponent vector (and order vector?) as an array of long?

Here is a simplistic test program I have written. It should let you test whether any speed gain is likely if you vie... John Abbott

20:31 CoCoALib Slug #742: View PP exponent vector (and order vector?) as an array of long?

JAA believes that we are already using this trick for order vectors (managed by @OrdvArith@).
Is it worth doing th... John Abbott

20:28 CoCoALib Slug #742 (In Progress): View PP exponent vector (and order vector?) as an array of long?

Current implementations for exponent vectors (in PPMonoid elements) treat them as arrays of @SmallExponent_t@.
It ... John Abbott

19:34 CoCoALib Slug #679: power for PPs is too slow

Apparently I have already done almost everything (but still have to check in).
I was surprised to see that we do not... John Abbott

18:49 CoCoA-5 Feature #719: Readline: consider creating a textual interpreter with readline

I have added a new command flag *@--no-readline@*; it seems to work as desired.
I have also modified @cocoa5.el@ s... John Abbott

16:38 CoCoALib Feature #82: C++11 compatibility questions

It seems that a few things noted in issue #83 should actually be in this issue.
Apparently C++11 has a way of find... John Abbott