Re: [fricas-devel] questions on fricas.github.io

2024-09-21 Thread Waldek Hebisch
utomation fails or is abused by malicious actors). > 4. Is it worth the effort to also have the documentation site > for the nightly code (git HEAD)? I do not think so: changes are slow enough. I think that automatically extracting _differences_ could be of some use. But that would require s

Re: [fricas-devel] Re: vector image (graphviz?) representing domain relationships?

2024-09-21 Thread Waldek Hebisch
nomials. As Tim wrote, you can do )set messages autoload on and see messages about loading various constructors. Note that loading is lazy, so this gives only messages about actually used domains and still simple operations lead to loading of many domains. -- W

Re: [fricas-devel] [PATCH] use '$LINELENGTH' in ')trace )math'

2024-09-18 Thread Waldek Hebisch
On Wed, Sep 18, 2024 at 05:44:21PM +0800, Qian Yun wrote: > When using ')trace )math', we should respect the setting > '$LINELENGTH' (cab be set by ")set output length"), > so that we can utilize the wide screen space. Yes, OK. --

Re: [fricas-devel] I have do a mistake

2024-09-13 Thread Waldek Hebisch
l.spad -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this discu

Re: [fricas-devel] user supplied CFLAGS/LDFLAGS is not respected

2024-09-06 Thread Waldek Hebisch
FRICASsys'. But they indexed info on executable content and from point of view of tools executable part of 'FRICASsys' was the same as of 'sbcl' and tools did not allow duplicate binaries. -- Waldek Hebisch -- You received this message b

Re: [fricas-devel] user supplied CFLAGS/LDFLAGS is not respected

2024-09-04 Thread Waldek Hebisch
On Wed, Sep 04, 2024 at 08:12:01PM +0800, Qian Yun wrote: > > > On 9/4/24 3:55 AM, Waldek Hebisch wrote: > > > > > > > > > > CFLAGS is already in 'var_def.mk', so only LDFLAGS is missing there. > > > > Yes, it looks so. >

Re: [fricas-devel] user supplied CFLAGS/LDFLAGS is not respected

2024-09-03 Thread Waldek Hebisch
On Mon, Sep 02, 2024 at 09:01:39PM +0800, Qian Yun wrote: > > > On 9/2/24 7:56 PM, Waldek Hebisch wrote: > > On Mon, Sep 02, 2024 at 07:15:12PM +0800, Qian Yun wrote: > > > > > > > > > On 9/2/24 8:13 AM, Waldek Hebisch wrote: > > > > On

Re: [fricas-devel] user supplied CFLAGS/LDFLAGS is not respected

2024-09-02 Thread Waldek Hebisch
On Mon, Sep 02, 2024 at 07:15:12PM +0800, Qian Yun wrote: > > > On 9/2/24 8:13 AM, Waldek Hebisch wrote: > > On Sun, Sep 01, 2024 at 10:32:39AM +0800, Qian Yun wrote: > > > There is this gentoo bug: https://bugs.gentoo.org/728048 > > > > > > The CFLAGS

Re: [fricas-devel] user supplied CFLAGS/LDFLAGS is not respected

2024-09-01 Thread Waldek Hebisch
remove CCF and LDF? (Instead, we give > CFLAGS/LDFLAGS a default setting.) AFAICS some setting in CCF may be needed for correct build. So it is nor clear if we can remove CCF and LDF. Certainly CFLAGS/LDFLAGS can not serve as a replacement. -- Waldek Hebisch -- You

Re: [fricas-devel] fricas -rl completion after :: coercion operator

2024-08-26 Thread Waldek Hebisch
l seems good and ' is not affected > apparently i.e. no completion after it. So, even with: > > fl:DoubleFloat:=12.0 > > DoubleFloat is correctly tab-completed. > > Waldek, what do you think about this addition to > src/etc/fricas-readline? I do not use rlwrap w

Re: [fricas-devel] Spad compiler bug?

2024-08-26 Thread Waldek Hebisch
alization of B(256) should work the same in both cases (and the same as you used B(256) in the interpeter). There are known troubles when you pass fancy things to B, but integers are simple. Of course, there may be reasons to write code as you did. And it is supposed to work. --

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-08-16 Thread Waldek Hebisch
On Wed, Aug 14, 2024 at 04:34:23PM +0200, Waldek Hebisch wrote: > I am looking more into output convertion for floats and current > implementation looks somewhat irregular. I have a little correction to what I wrote above: default output precision is determined by bit length of mantissa.

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-08-14 Thread Waldek Hebisch
eral reading of rules above. Simply, zero is very special. But I would prefer to get rid of other exceptions. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubs

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-08-07 Thread Waldek Hebisch
09 E -22 Type: Float Code in FLOAT.spad in not perfect but is _much_ better than old implementation of 'toString'. -- Waldek Hebisch -- You received this message because you are subscrib

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-08-04 Thread Waldek Hebisch
On Sat, Jul 27, 2024 at 05:25:52PM +0200, Grégory Vanuxem wrote: > No. toString(3.7,20) > > Le sam. 27 juil. 2024 à 17:24, Waldek Hebisch a écrit : > > > > On Sat, Jul 27, 2024 at 03:31:57PM +0200, Grégory Vanuxem wrote: > > > => > > > (1) "4.3

Re: [fricas-devel] improve-stream-division

2024-07-31 Thread Waldek Hebisch
On Wed, Jul 31, 2024 at 05:55:30PM +0200, Ralf Hemmecke wrote: > On 7/31/24 16:49, Waldek Hebisch wrote:>> ((*$sTO)(rs1, s3) - rs2)$sTO > >> > >> gives the same "wrong" result. > > > > It should be > > > > ((*$sTO)(s3, rs1) - rs2)$sTO &

Re: [fricas-devel] improve-stream-division

2024-07-31 Thread Waldek Hebisch
. So yes, x * recip(x) = recip(x) * x = e where e is the unit element for multiplication. And once you have recip "/" follows logically. And we also have 'leftRecip' and 'rightRecip' for cases when inverse works only on one side. --

Re: [fricas-devel] improve-stream-division

2024-07-30 Thread Waldek Hebisch
cip(s2)$sTO;rI := SquareMatrix(2, FRAC(INT)) s3 := (*$sTO)(rs2, s1) ((/$sTO)(s3, s1) - rs2)$sTO -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-28 Thread Waldek Hebisch
splitting. Well, that would work in exact artithmetic. But the code tries to work in floating point and this is source of nasty troubles. Also "normal" rounding mode for pinthing purpoose should be "round to nearest, even", which is more complicated than simple 'rou

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Waldek Hebisch
smaller than resolution of the convertion. Arguably in such case we should round up. To say the truth we probably do not want separate implementation of 'toString', issues are exactly the same as in printing code and solution is likely to be the same. > Le sam. 27 juil. 2024 à 17:2

Re: [fricas-devel] toString(3.7, digits()$Float)

2024-07-27 Thread Waldek Hebisch
Type: String (18) -> toString(4.3, 20) (18) "4.3001" Type: String Do you want 20 digits (or whatever you specified) or not? -- Waldek Heb

Re: [fricas-devel] improve-stream-division

2024-07-27 Thread Waldek Hebisch
ead of restDiv(a: ST A, u: A, n: I, k: I, ra: ST A, b: ST A, revc: List A): ST A == delay ... I would write something like restDiv(a : ST A, u : A, n : I, k : I, ra : ST A, b : ST A, revc : List A) : ST A == delay ... It makes sense to run a bit more t

Re: [fricas-devel] Bug? -- assignment to argument behaves strangely

2024-07-25 Thread Waldek Hebisch
e of variable is a read, then its initial value is inherited from enclosing scope, but I suspect that our current code does not follow this rule. A safe way of coding is to use new variables for anything that you want to mutate in a nested function. -- Waldek Hebisch

Re: [fricas-devel] example where rsimp takes tooo long

2024-07-11 Thread Waldek Hebisch
e worth doing. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To view this disc

Re: [fricas-devel] example where rsimp takes tooo long

2024-07-10 Thread Waldek Hebisch
if it will be > can you invent a name that sticks to the convention of having full names > (not abbreviations) in exported functions? Thank you. You give dependent roots above (177 = 59*3). After eliminating dependent roots rsimp fails reasonably fast. -- Wald

Re: [fricas-devel] rsimp

2024-07-09 Thread Waldek Hebisch
group are not good for me (unless I can find cheap method of computing Galois groups). 'rsimp' heavily uses factorization over algebraic extentions, so I may decide to improve factorizers first. -- Waldek Hebisch -- You received this messa

Re: [fricas-devel] Two copies of Float

2024-07-09 Thread Waldek Hebisch
uot; precision. And you may count of called routines to respect your precision. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop

Re: [fricas-devel] BUG(?) in rootSplit and rootFactor

2024-07-04 Thread Waldek Hebisch
On Thu, Jul 04, 2024 at 06:28:01PM +0200, Ralf Hemmecke wrote: > On 7/4/24 16:41, Waldek Hebisch wrote: > > > Opinions? Should I try to come up with a proper fix? I somehow > > > feel such a change will have quite some consequences in different > > > part of Fri

Re: [fricas-devel] licences

2024-07-04 Thread Waldek Hebisch
erning Arthur Ralfs, I do not know why did you put separate licence file in Axiom. Artur knew Axiom and FriCAS licence, clearly wanted his code to be included and I included what he provided. Did he request you to put this licence file? -- Waldek Hebisch -- You re

Re: [fricas-devel] redundant line

2024-07-04 Thread Waldek Hebisch
y special significance of this line, so probably I just forgot to delete it. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop r

Re: [fricas-devel] BUG(?) in rootSplit and rootFactor

2024-07-04 Thread Waldek Hebisch
get rid of calls to 'rootSimp' (instead extend normalization to handle algebraic kernels). As you noticed 'ratDenom' may be unreliable, so probably we should replace is by something else in most of algebra. Concerning 'rootSplit', it make sense to create better implementati

Re: [fricas-devel] Expression vs AlgebraicNumber --- Caching?

2024-07-04 Thread Waldek Hebisch
nce you get kernel with denominator it will stay in the cache till say ')clear all'. That is one of motivations for recent FunctionSpace change. It should allow using local caches, so limit pollution to global cache. And maybe somebody will develop different caching mechanizm, with n

Re: [fricas-devel] MathCAD and FriCAS

2024-07-04 Thread Waldek Hebisch
On Thu, Jul 04, 2024 at 02:34:27PM +0200, Ralf Hemmecke wrote: > On 7/4/24 03:23, Waldek Hebisch wrote: > > To comply with the our license, they should have text of the > > license _somewhere_. Recursive grep for 'Numerical ALgorithms Group' > > should find it (un

Re: [fricas-devel] MathCAD and FriCAS

2024-07-03 Thread Waldek Hebisch
On Thu, Jul 04, 2024 at 08:21:35AM +0800, Qian Yun wrote: > > > On 7/4/24 06:41, Waldek Hebisch wrote: > > On Wed, Jul 03, 2024 at 11:18:05PM +0200, Ralf Hemmecke wrote: > > > On 7/3/24 12:19, Qian Yun wrote: > > > > Well, generally this feels a bit strange

Re: [fricas-devel] MathCAD and FriCAS

2024-07-03 Thread Waldek Hebisch
ima could not do, so it was modified. They did not mention Maxima and of course did not offer source code. AFAIK GPL allows this (they were just "using" Maxima, but not "distributing" it). -- Waldek Hebisch -- You received this message becaus

Re: [fricas-devel] MathCAD and FriCAS

2024-07-03 Thread Waldek Hebisch
ches, in relative terms we got infintely more from Sage folks, but contribution from Sage folks is rather small part of overall contributions to FriCAS. So I am not surprised that there are no visible conftibution from Mathcad. -- Waldek Hebisch -- You received

Re: [fricas-devel] Re: $ in hypertex \example command

2024-07-03 Thread Waldek Hebisch
gt; xterm freshly started. I am stuck. ATM it looks that handling of '\spad' command is somewhat inconsitent. FriCASsys uses '\spad{pi}', probably to get appropriate font and HyperDoc is doing something wrong with it. -- Waldek Hebisch -- You

Re: [fricas-devel] ESC2 cannot compile

2024-07-03 Thread Waldek Hebisch
On Wed, Jul 03, 2024 at 08:43:54PM +0200, Ralf Hemmecke wrote: > On 7/3/24 18:19, Waldek Hebisch wrote: > > And yes, if I try to compile 'fspace.spad' using similar command to yours > > (I never compile things in source directory which you did), > > Do you me

Re: [fricas-devel] Re: [fricas/fricas] eec2f4: Put no space between function name and arguments

2024-07-03 Thread Waldek Hebisch
declares itself just as the juxtaposition of a symbol and a parenthesized > symbol and not as a function, as it could/should be. I am not sure what you expect. Clearly output from a formatter needs parsing to make "logical" sense. And in general we should be working at higher level

Re: [fricas-devel] ESC2 cannot compile

2024-07-03 Thread Waldek Hebisch
yours (I never compile things in source directory which you did), then I see the same error. And no, recompiling 'fspace.spad' from current trunk using new FriCAS works fine. -- Waldek Hebisch -- You received this message because you are subscribed to

Re: [fricas-devel] FunctionSpace&(%, Integer) ???

2024-07-03 Thread Waldek Hebisch
D ==> ExpressionSpace2_&(%, K) used to access signatures from default domain that otherwise would be hidden by override in Expression. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebr

Re: [fricas-devel] )set output showeditor issues

2024-07-02 Thread Waldek Hebisch
oaded in less. The attached patch should fix the problems above. Concerning SHOW.LISTING staying after FriCAS exit, AFAICS this was intended. But it easy to change, just two more callse to 'maybe_delete_file'. -- Waldek Hebisch -- You received this message because you are subscribed to the

Re: [fricas-devel] display of FunctionCalled(f)

2024-07-02 Thread Waldek Hebisch
uments without space. The result are like: (16) foo(u) == exp(u) (2) g((n, t) | n > 1 and odd?(n) and t > 9) == tanh(n) + t (4) h(x, y) == sin(x y) I think that is better than previous results containing space. -- Waldek Hebisch -- You receiv

Re: [fricas-devel] Re: $ in hypertex \example command

2024-07-02 Thread Waldek Hebisch
o_ messages. I will fill an issue later today. I can not reproduce this. Compiling STRICAT above and using Browse gives me expected result. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer

Re: [fricas-devel] FriCAS 1.3.11 is released

2024-06-30 Thread Waldek Hebisch
nge log should be good enough. And it would work the same for snapshots. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group an

Re: [fricas-devel] FriCAS 1.3.11 is released

2024-06-30 Thread Waldek Hebisch
system" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/cca4e87f-6d58-4752-9cdf-e2c2084c2487%40gmail.com. --

[fricas-devel] FriCAS 1.3.11 is released

2024-06-29 Thread Waldek Hebisch
I have put sources and binaries of FriCAS 1.3.11 on Sourceforge. Sources correspond to r1.3.11 branch and 1.3.11 tag on Github. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra s

[fricas-devel] New release

2024-06-28 Thread Waldek Hebisch
0..2*\%pi)} +\spadgraph{draw(curve(cos(t), sin(t)), t = 0..2*\%pi, title=="Circle")} }{ 2DppcB } -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from

Re: [fricas-devel] new-ps-book

2024-06-28 Thread Waldek Hebisch
On Fri, Jun 28, 2024 at 11:55:37PM +0200, Ralf Hemmecke wrote: > Perhaps now we additionally need a line > > *.png -text Yes, I think so. Adding it removes the warning message. -- Waldek Hebisch -- You received this message because you are subs

Re: [fricas-devel] new-ps-book

2024-06-28 Thread Waldek Hebisch
On Fri, Jun 28, 2024 at 11:55:37PM +0200, Ralf Hemmecke wrote: > On 6/28/24 20:40, Waldek Hebisch wrote: > > I get the following message: > > > > warning: CRLF will be replaced by LF in src/doc/png/2Dctrl.png. > > > > and several similar messages for other .png

Re: [fricas-devel] new-ps-book

2024-06-28 Thread Waldek Hebisch
robably should be marked as binary. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr.

Re: [fricas-devel] regression by commit 991f8347

2024-06-26 Thread Waldek Hebisch
ces. However, this has potential for breaking other things, so I really prefer to delay this after release. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" gro

Re: [fricas-devel] new-ps-book

2024-06-23 Thread Waldek Hebisch
On Sun, Jun 23, 2024 at 01:15:02PM +0200, Ralf Hemmecke wrote: > On 6/22/24 23:54, Waldek Hebisch wrote: > > > So you are replacing seqence of definitions by single function. At > > first glance that looks good (I did not check how it looks in generated > > book). >

Re: [fricas-devel] new-ps-book

2024-06-22 Thread Waldek Hebisch
rather uninteresting. The idea of *how* one can get this > information can also be conveyed by a less verbose output. > Any suggestions? You mean output of 'fullDisplay(fm-%)'? IMO it is reasonable to completely skip it, it just essentially repeats previous points. Or replea

Re: [fricas-devel] )if foo

2024-06-22 Thread Waldek Hebisch
cument it. To expand this a bit: one reasonable replacement would add expressions + a few built in functions. Another possibility is to assume availability of interpreter and use interpreter to evaluate conditions. -- Waldek Hebisch -- You received this mess

Re: [fricas-devel] drawing curves with visible dots

2024-06-22 Thread Waldek Hebisch
erical instability (bad conditioning). And of course points tell you which values were computed and which are merely interpolation. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra sy

Re: [fricas-devel] new-ps-book

2024-06-20 Thread Waldek Hebisch
utput. OTOH they give information than sometimes is useful. Also, more general remark: whitespace is cheap and can significantly improve readability. So, remove whitespace when it is trurely excessive, but do not aim to reduce book length in this way. -- Waldek Hebis

Re: [fricas-devel] parse_integer()$ScanningUtilities with negative numbers

2024-06-16 Thread Waldek Hebisch
n parse-integer, although not > very satisfactory in the FriCAS sense. > > It may not be what I have thought also. 'parse_integer' is intended to be part of new FriCAS compiler and interpreter. For large integers 'parse_integer' may be significantly faster than Lisp

Re: [fricas-devel] New release

2024-06-11 Thread Waldek Hebisch
nges to build process, but once enough changes are commited to build it it can go in. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop recei

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-06-10 Thread Waldek Hebisch
he generated (from .htex) .input files through fricas (i.e. sman) > instead of directly to FRICASsys causes all the problems with hanging > compilation or truncation of output. Quite likely. -- Waldek Hebisch -- You received this message because you are subscrib

Re: [fricas-devel] New release

2024-06-10 Thread Waldek Hebisch
On Mon, Jun 10, 2024 at 09:47:53PM +0200, Ralf Hemmecke wrote: > On 6/10/24 20:34, Waldek Hebisch wrote: > > I would like to do new release in June. I would like to include > > Qian work on HyperDoc and the FriCAS book, that is main thing > > that needs to be resolved befo

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-06-10 Thread Waldek Hebisch
ffort and will take time. For now I prefer "most conservative" solution. As I wrote in another mail, I would like to do new release in June and would like to include the changes. -- Waldek Hebisch -- You received this message because you are subscribed

[fricas-devel] New release

2024-06-10 Thread Waldek Hebisch
I would like to do new release in June. I would like to include Qian work on HyperDoc and the FriCAS book, that is main thing that needs to be resolved before release. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] radical roots and cyclotomic roots

2024-06-09 Thread Waldek Hebisch
exponential or trigonomotric form. Not so when expressed purely in terms of radicals. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this gro

Re: [fricas-devel] Imprecision of Airy Ai

2024-06-07 Thread Waldek Hebisch
ple precision routines) and that leads to natural loss of accuracy. Concerning Githib issues, I am not sure if it is worth opening issue about floating point inaccuracy: this is huge topic, was discussed in the mailing list and is unlikely to gather substantial useful information. --

Re: [fricas-devel] correction of wrong specification for symmetricRemainder

2024-06-05 Thread Waldek Hebisch
\spad{b > 1}) yields r > - ++ where \spad{-b/2 <= r < b/2}. > + ++ where \spad{-b/2 < r <= b/2}. > rational? : % -> Boolean >++ rational?(n) tests if n is a rational number >++ (see \spadtype{Fraction Integer}). > -- > 2.34.1 >

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-06-01 Thread Waldek Hebisch
d put precise statement somewhere, but description of 'Browse' does not look like good place. And such change is independent of other changes that you are making. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups &quo

Re: [fricas-devel] [PATCH] exit HyperDoc properly

2024-06-01 Thread Waldek Hebisch
e removed as well? Well, there are several commands in HyperDoc protocol that are currently unused. Some may be obsolte now, bit most were meant to be used from Spad code. I started rewrite of Hyperdoc part in FRICASsys in Spad (currently I have version where about 10% of code is in Spad and

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-31 Thread Waldek Hebisch
#x27; stays after FriCAS proper has quit, 07b4d99eb6c41443711654c65f0e8f66e7bf6c00 works OK. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails fro

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-31 Thread Waldek Hebisch
latest patch FriCAS does not exit and I had to close main HyperDoc window. Browse window vanished when I moved cursor into it. It seems that most details does not matter, but it is important to activate Browse. -- Waldek Hebisch -- You received this message becau

Re: [fricas-devel] latex() in SetCategory and its use vs TeXFormat

2024-05-31 Thread Waldek Hebisch
On Fri, May 31, 2024 at 12:44:27PM +0200, Grégory Vanuxem wrote: > Hello, > > Le ven. 31 mai 2024 à 02:13, Waldek Hebisch a écrit : > > > > To put it > > differently, for me interesting part is sending some FriCAS data > > to "foreign" code and eventu

Re: [fricas-devel] dilog(x)

2024-05-31 Thread Waldek Hebisch
ceiving emails from it, send an > email to fricas-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/CAHnU2dYjsQt6%3DEq4Gva7FkfS6Y1e8-VDSV7YEqymeONB8zPqOQ%40mail.gmail.com. -- Wa

Re: [fricas-devel] radicalSolve regression by commit fcacacff

2024-05-31 Thread Waldek Hebisch
- 3 \|- 1 \|3 - 3 >(1) [x = , x = --, x = 0] > 44 Thanks for info, fixed now. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriC

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-31 Thread Waldek Hebisch
On Fri, May 31, 2024 at 09:47:18AM +0800, Qian Yun wrote: > > > On 5/31/24 00:38, Waldek Hebisch wrote: > > On Thu, May 30, 2024 at 07:43:30PM +0800, Qian Yun wrote: > > > > > > > > > On 5/29/24 22:51, Waldek Hebisch wrote: > > > >

Re: [fricas-devel] latex() in SetCategory and its use vs TeXFormat

2024-05-30 Thread Waldek Hebisch
ial. I mean, to build OutputForm you need to be able to dissect data into parts, recursively convert each part to OutputForm and combinie then back. If this process of dissection is too complicated, then what useful can you do with such data? -- Waldek Hebisch -

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-30 Thread Waldek Hebisch
On Thu, May 30, 2024 at 07:43:30PM +0800, Qian Yun wrote: > > > On 5/29/24 22:51, Waldek Hebisch wrote: > > > > first build went fine, but a few later failed. Actually, it looks > > worse than previous version where probability of success looked > > higher.

Re: [fricas-devel] latex() in SetCategory and its use vs TeXFormat

2024-05-30 Thread Waldek Hebisch
in OutputFormTools. In principle 'precondition' could be replaced by a user function. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe fro

Re: [fricas-devel] latex() in SetCategory and its use vs TeXFormat

2024-05-30 Thread Waldek Hebisch
tedly, creating new domain only to have different output is clumsy. In principle we could have more options at OutputForm level. OTOH bypassing OutputForm is likely to lead to _less_ control because is such case places needing changed bahaviour would be spread out and hard to find and influenc

Re: [fricas-devel] GnuDraw

2024-05-30 Thread Waldek Hebisch
n a > Web browser. I am not against OutoutForm, not at all. It is GnuDraw and it is included in FriCAS for several years. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system"

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-29 Thread Waldek Hebisch
On Wed, May 29, 2024 at 05:24:44PM +0800, Qian Yun wrote: > > On 5/27/24 22:10, Waldek Hebisch wrote:> > > > > > What's its CPU model and how many threads are you using to build > > > > > the book? > > > > > > > > Quad core C

Re: [fricas-devel] What is this error message???

2024-05-29 Thread Waldek Hebisch
xprIfTrue ; exprIfFalse)'. I do not think that using C syntax for it would be good idea. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving

Re: [fricas-devel] What is this error message???

2024-05-29 Thread Waldek Hebisch
> Given that zero? x is checked at the beginning and assuming that zero? x > means "zero?(real(x)) and zero?(imag(x))", how can im=0 happen in the > commented case? Take x = 2 -- Waldek Hebisch -- You received this message because you are

Re: [fricas-devel] Counting spad function calls during a computation

2024-05-28 Thread Waldek Hebisch
range code to elliminate them. And it is easy to see why this helps: generic code would have to use SPADCALL to acces 'real' and 'imag'. In 'Complex' representation is visible so code can use access to record components which is done by inline code. --

Re: [fricas-devel] What is this error message???

2024-05-28 Thread Waldek Hebisch
On Wed, May 29, 2024 at 01:45:50AM +0200, Grégory Vanuxem wrote: > Le mar. 28 mai 2024 à 22:34, Waldek Hebisch a écrit : > > > > On Tue, May 28, 2024 at 07:10:35PM +0200, Grégory Vanuxem wrote: > > > > In fact, Void return value instead of a Record, I forgot a branch.

Re: [fricas-devel] What is this error message???

2024-05-28 Thread Waldek Hebisch
hat triggers this it it hard to say who is guilty and what exactly happended. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and st

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-27 Thread Waldek Hebisch
On Mon, May 27, 2024 at 06:02:43PM +0800, Qian Yun wrote: > > On 5/27/24 10:00, Waldek Hebisch wrote: > > On Mon, May 27, 2024 at 08:50:31AM +0800, Qian Yun wrote: > > > OK, what's the version of texlive on this old machine? > > > > epstopdf has inside com

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-26 Thread Waldek Hebisch
just did 'make book', that is serial build. > > - Qian > > On 5/27/24 07:37, Waldek Hebisch wrote: > > On Fri, May 17, 2024 at 08:38:35PM +0800, Qian Yun wrote: > > > I'd like to upstream my improvements to the reference book. > > > > I fetched yo

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-26 Thread Waldek Hebisch
On Mon, May 27, 2024 at 01:37:46AM +0200, Waldek Hebisch wrote: > On Fri, May 17, 2024 at 08:38:35PM +0800, Qian Yun wrote: > > I'd like to upstream my improvements to the reference book. > > I fetched your branch. Book builds fine on new machine, but failed > on my old on

Re: [fricas-devel] [PATCH] fix title related memory issues

2024-05-26 Thread Waldek Hebisch
lone.h, graph/viewman/viewman.h: > > #define check(code) checker(code,__LINE__,"") > > Also I don't like its overhead when we only read a few bytes, > I hope in the future we can avoid the overhead if we are > building in release mode (aka when there is no DEBUG

Re: [fricas-devel] [PATCH] improvements to the reference book

2024-05-26 Thread Waldek Hebisch
to 'epstopdf' like: epstopdf tmp/3DOptCf3.VIEW/image.ps --outfile=tmp/3DOptCf3.pdf After fixing this build failed later with latex error, probably one of the files is truncated. -- Waldek Hebisch -- You received this message because you are subscribed t

Re: [fricas-devel] [PATCH] fix title related memory issues

2024-05-26 Thread Waldek Hebisch
uch 'checked' read would get parameters needed to build error message (so no global buffer and no 'sprintf' at call site). -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra

Re: [fricas-devel] Re: [fricas/fricas] c1dd1e: Generalize ExpressionSpace and FunctionSpace

2024-05-26 Thread Waldek Hebisch
many have trivial arguments (that is Type). So it is no surprise that there were no similar example earlier. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To

Re: [fricas-devel] )fin, restart, (|spad|) with Clozure CL based FriCAS

2024-05-24 Thread Waldek Hebisch
On Wed, May 22, 2024 at 10:03:32PM +0200, Grégory Vanuxem wrote: > Le mar. 21 mai 2024 à 20:32, Waldek Hebisch a écrit : > > > > On Tue, May 21, 2024 at 01:57:45PM +0200, Grégory Vanuxem wrote: > > > > The function to start FriCAS is 'fricas_restart'

Re: [fricas-devel] [PATCH] fix title related memory issues

2024-05-24 Thread Waldek Hebisch
move uses of "fricas_sprintf_to_buf". But why do you want to remove such uses? -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this grou

Re: [fricas-devel] Serial part of build

2024-05-24 Thread Waldek Hebisch
On Fri, May 24, 2024 at 05:13:10PM +0800, Qian Yun wrote: > > > On 5/24/24 06:32, Waldek Hebisch wrote: > > > > I am not sure. At least we world need proper dependencies. Most of > > those files are categories. We compile categories because compiling > > may

Re: [fricas-devel] [PATCH] fix title related memory issues

2024-05-23 Thread Waldek Hebisch
memory leakage in 'funView2D'/'funView3D' > > (if you run "title" in a loop) It is good to fix buffer overflow. But you also remove error checking (use of 'check'). Admited, this is minimal error checking, just printing error message, but this is better

Re: [fricas-devel] Serial part of build

2024-05-23 Thread Waldek Hebisch
categories. We compile categories because compiling may need to load compiled categories. And compiling a category need categories that it uses. Our list of categories to compile is sorted so that dependencies are compiled first. -- Waldek Hebisch -- You received th

[fricas-devel] Serial part of build

2024-05-22 Thread Waldek Hebisch
OMPILE-FILE', and most of other lower level calls is made during Spad compilation. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop r

Re: [fricas-devel] )fin, restart, (|spad|) with Clozure CL based FriCAS

2024-05-21 Thread Waldek Hebisch
no difference. What _may_ matter is order of initialization. In particular FriCAS performs some initializations before dumping image. But several thing do not survive to restarted image, so need to be done later, after start of new image. > To resume, since I suspect that different thread i

Re: [fricas-devel] factorial to OutputForm

2024-05-18 Thread Waldek Hebisch
e to output factorial > differently. 'display' will set '%display' property to value that you give. But this value will affect translation to OutputForm, so all formatters. -- Waldek Hebisch -- You received this message because you are subs

  1   2   3   4   5   6   7   8   9   10   >