Activity
From 28 Oct 2020 to 26 Nov 2020
26 Nov 2020
- 16:29 Design #1391: RingElems: syntax with [ and ] ?
- My copy works ok, but I must devise tests.
17 Nov 2020
- 22:53 Design #1538 (In Progress): RingElem from string (ReadExpr)
- The input functions are quite messy: not really a coherent design philosophy.
It seems that *@ReadExpr@* gives err...
13 Nov 2020
- 18:29 Design #1391: RingElems: syntax with [ and ] ?
- The C++ version does not work: @WhatsNext@ causes too much trouble :-(
Groan... - 14:36 Design #1391: RingElems: syntax with [ and ] ?
- Remove the CoCoA-5 and make it call the cocoalib version.
- 15:20 Design #1538: RingElem from string (ReadExpr)
- My personal opinion is that I do not like *@1/-2@* and *@2*-3@*; they both look like typos to me. Perhaps the user m...
- 15:04 Design #1538: RingElem from string (ReadExpr)
- Similar problem for *@RingElem(QQ, "2*-3");@*
- 14:59 Design #1538 (Closed): RingElem from string (ReadExpr)
- What should the following do...
10 Nov 2020
- 14:11 Feature #1532: Convenient RingHom pseudo-ctors
- It might be possible to extend the impl give above to handle quotients of poly rings, and perhaps also "towers" of po...
09 Nov 2020
- 21:13 Feature #1466: Ops += *= etc for Matrices?
- It is not clear to me how to implement @+=@ etc. better than the naive way, and maintain exception safety.
It migh... - 21:02 Bug #1233: factor SEGV -- too large characteristic
- Revised example (now that we're mostly 64 bit)...
06 Nov 2020
- 14:24 Feature #1532: Convenient RingHom pseudo-ctors
- Florian mentions that Singular has something called *@imap@*...
- 14:07 Feature #1532 (In Progress): Convenient RingHom pseudo-ctors
- Here is a prototype in CoCoA-5... we would also need a version for cocoalib!!...
- 13:20 Feature #1532: Convenient RingHom pseudo-ctors
- Here is the example Florian wanted:...
- 13:14 Feature #1532 (In Progress): Convenient RingHom pseudo-ctors
- CoCoALib should offer some convenient pseudo-ctors for @RingHom@.
One example would be from @QQ[x,y,z]@ into @QQ(x...
04 Nov 2020
- 20:41 Design #1529: INPUT questions
- One mild concern is that the reading fns in C++ try to accept the maximum length initial string which gives "valid" i...
- 20:25 Design #1529 (In Progress): INPUT questions
- The code for reading a @BigRat@ can read it either as a fraction @N/D@ or as a decimal @Int.frac@.
For the "decima... - 20:06 Design #1529: INPUT questions
- Ooops! I have had a look a what happens when a @BigInt@ is read... and I found a bug :-(
For @BigInt@ no space is... - 17:41 Design #1529: INPUT questions
- Regarding point *(1)*... what should input of a @BigRat@ do with the following input streams?
* *@1/2@* -->JAA: ... - 17:33 Design #1529: INPUT questions
- One possibility would be to require that an integer literal start with a decimal digit: _e.g._ there is no problem in...
- 13:35 Slug #1517: RandomLinearForm
- I presume the timings in comment 4 were with @unsigned short@ as @SmallExponent_t@ (otherwise CoCoA has suddenly beco...
03 Nov 2020
- 21:03 Slug #897 (Feedback): SimplestBigRatBetween: why is it so slow?
- I have checked in (despite the presence of some experimental changes).
- 20:51 Design #1391 (Feedback): RingElems: syntax with [ and ] ?
- I have implemented *@RingElemVec@*; the code is mostly shared with @RingElems@.
31 Oct 2020
- 09:04 Design #1529 (Closed): INPUT questions
- I have some questions about what inputs should be accepted.
*(1)* when reading a @BigRat@ we accept <Integer-liter...
30 Oct 2020
- 20:20 Design #1523: Input fns: action when when istream is in bad state?
- Checked in, but not @symbol.C@.
- 19:54 Design #1523: Input fns: action when when istream is in bad state?
- The function @symbol::myInput@ reports an error by setting the channel state (@failbit@) rather than throwing an exce...
- 19:46 Design #1523 (Resolved): Input fns: action when when istream is in bad state?
- I have added checks to all input fns so that an exception is thrown if the istream is not in a good state when called...
- 19:24 Design #1523 (In Progress): Input fns: action when when istream is in bad state?
- After discussion with Anna, we have decided that it is more helpful if an exception is thrown if the @istream@ is not...
- 15:59 Slug #1518: SLUG: Printing PPs with many indets
- Anna suggest using a virtual fn for printing which is specialized in PPMs which can have big exps.
JAA will think ... - 15:33 Design #601 (In Progress): LongRange: in which file should it be declared/defined?
- Anna is uneasy about making a header file for just a single function.
Ideally, there could be some other similar fun... - 15:19 Support #861 (Feedback): Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- Anna says it compiled cleanly now.
JAA: must remove the commented out code.
- 15:15 Design #1528 (Closed): MacOS compilation with clang
- Try to clean out clang compilation
- 14:51 Bug #1484: ker bug (quotientinghom for R/ideal())
- For me: test, and add CoCoALib tests
- 11:08 Support #1494 (Closed): Normaliz 3.8.9
29 Oct 2020
- 21:51 Slug #1170 (Closed): SmoothFactor: slow when a factor is found
- The current impl is acceptable for the time being; out efforts need to be directed elsewhere.
Closing.
- 21:48 Design #1279 (Closed): Tidy up code for matrix determinant
- The current version is acceptable; it could be made better, but there are plenty of other more important issues (at t...
- 21:44 Design #1463 (Closed): SmoothFactor: use FactorMultiplicity
- 21:30 Design #1463: SmoothFactor: use FactorMultiplicity
- I have fixed the bug: part of the code incorrectly assumed that the base was a prime number... ooops! (probably an o...
- 15:13 Design #1463: SmoothFactor: use FactorMultiplicity
- @FactorMultiplicity(3^39,factorial(21))@ goes into infinite loop :-/
It gets worse...
@FactorMultiplicity(9, fact... - 15:10 Design #1463: SmoothFactor: use FactorMultiplicity
- Oh no! I have hit a bug:...
- 21:42 Support #1196 (Closed): Split MatrixOps
- The current situation is acceptable. Further splitting might be a good idea at some point, but it is not so importan...
- 21:36 Feature #1436 (Closed): Flatten for a matrix
- 15:01 Design #1460 (Closed): Name of TensorMat; change to KroneckerProd?
- This has been in feedback for a month or so. CLosing:
Conclusion: fn name changed @KroneckerProd@, impl creates n... - 14:52 Slug #1518: SLUG: Printing PPs with many indets
- Here is a guess as to why the observed times are as they are:
with @myBigExponents@ the ctor for @BigInt@ is called ... - 14:47 Design #601: LongRange: in which file should it be declared/defined?
- What about *@utils-LongRange@*?
This name should also make it clear why the file is included.
- 14:43 Slug #1517 (In Progress): RandomLinearForm
- The empirical complexity appears to be quadratic. Here is my test:...
- 14:26 Support #861: Janet basis code: TmpJB files give some problems with C++11 (using CLANG/LLVM)
- Since we are no longer guaranteeing pre-C++11 compatibility, we can remove from Mario's code all @#if@ trickery relat...
- 13:46 Design #1465: mul(MAT,MAT,MAT)
- Perhaps it could make sense to have a version of *@mul(mat,mat,mat)@* which is deliberately not exception safe (but a...
- 13:43 Design #1125: Separate install script for CoCoALib?
- Ideally the installation process should also make available an easy way to uninstall the installed stuff.
We also ... - 13:32 Feature #1349: ideal ctor where given gens are a gbasis
- There are already fns *@IdealOfGBasis@* and *@SetGBasisAsGens@*. Where is the doc for the 2nd fn?
Despite some in... - 10:36 Feature #142: Improve threadsafety
- I propose the following new names:
* *@--allow-non-threadsafe@* for the @configure@ script
* *@CoCoA_ALLOW_NON_THRE...
28 Oct 2020
Also available in: Atom