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'. 'fricas

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

2024-05-24 Thread Waldek Hebisch
to remove 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
unView2D'/'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 than nothing. -- W

Re: [fricas-devel] Serial part of build

2024-05-23 Thread Waldek Hebisch
ories. 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 this me

[fricas-devel] Serial part of build

2024-05-22 Thread Waldek Hebisch
ion. -- 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

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

2024-05-21 Thread Waldek Hebisch
later, after start of new image. > To resume, since I suspect that different thread issues may also > occur, I would like to better understand the side effects of ')fin' > and how to cleanly return to the interpreter after 'fin' session with > Clozure CL. If there are any side ef

Re: [fricas-devel] factorial to OutputForm

2024-05-18 Thread Waldek Hebisch
; 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 subscribed to the Google Groups "FriCAS - c

Re: [fricas-devel] simplification of factorial expressions

2024-05-18 Thread Waldek Hebisch
- 2756880 n + 4 3 2 - 1778112 n - 733248 n - 184752 n - 25488 n - 1440 * 3 n! (3 n)!(6 n)! Type: Expression(Integer) -- Waldek Hebisch -- You received this message

Re: [fricas-devel] compilation problem

2024-05-18 Thread Waldek Hebisch
Implementation ==> add > if C has xxx: Integer -> C then > blah(x: Integer): C == xxx x > foo(): C == 1 -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer alge

Re: [fricas-devel] [PATCH] fix pixel shape in PS output of "smooth" style image

2024-05-17 Thread Waldek Hebisch
and added what looked good to him -- different thing may look good to other folks (and there is also change of technology). -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.

Re: [fricas-devel] simplification of radicals

2024-05-17 Thread Waldek Hebisch
of 'rsimp' is that it can deal with functions. But for functions principal branch convention usually leads to troubles: one have to spend large effort to get principal branch and frequently this is wrong branch, so this effort is wasted. -- Waldek Hebisch -- You received this message because you are

Re: [fricas-devel] bug?: difficulty to extract imaginary part

2024-05-16 Thread Waldek Hebisch
ld be easy to hook this into 'radicalSolve' so that such result is obtainde by default. -- 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] using 'if C is Integer then ...'

2024-05-16 Thread Waldek Hebisch
On Thu, May 16, 2024 at 02:24:50PM +0200, Ralf Hemmecke wrote: > On 5/16/24 14:00, Waldek Hebisch wrote: > > Yes, this is limitation of current compiler. It would be relatively > > easy to allow more general conditions, but important part of > > current handling involves in

Re: [fricas-devel] using 'if C is Integer then ...'

2024-05-16 Thread Waldek Hebisch
: () -> Pol C > if C is Integer then > foo: C -> Pol C > Implementation ==> add > foobar(): Pol C == error "FOO" -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups &qu

Re: [fricas-devel] fricas get setelt etc.

2024-05-15 Thread Waldek Hebisch
h selector. If you want to use 'a.type := x' declare 'setelt' like: setelt! : (%, "type", N) -> N Matching 'elt' would be: elt : (%, "type") -> N -- Waldek Hebisch -- You received this message because you are subscribed to th

Re: [fricas-devel] create directory in OS independent way

2024-05-15 Thread Waldek Hebisch
nd("system mkdir -p " directory fn)$MoreSystemCommands > > . Is there a more OS-independent way to create a directory? There is a Lisp helper function 'makedir'. Use like: makedir("foo.dir")$Lisp ATM there is no Spad wrapper for this. --

Re: [fricas-devel] bug?: difficulty to extract imaginary part

2024-05-15 Thread Waldek Hebisch
a radical. This argument can be a general expression, so we 'sign' needs to handle general expressions. Possibly we could add special case in 'sign' to handle expressions in radicals, I am not sure how much this would help. -- Waldek Hebisch -- You received thi

Re: [fricas-devel] bug?: difficulty to extract imaginary part

2024-05-15 Thread Waldek Hebisch
e is problem with meaning of 'imag'. Also note that this is in extra package, not in core domains. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe fr

Re: [fricas-devel] bug?: difficulty to extract imaginary part

2024-05-15 Thread Waldek Hebisch
h IMO is OK. Probably 'imag' should signal error. I can guess that possibly users call 'imag' and related functions without real need, so lying (as done now) could be a pragmatic choice. Or simply this is piece of research code that never really get finished. --

Re: [fricas-devel] fricas get setelt etc.

2024-05-14 Thread Waldek Hebisch
nment syntax when calling such functions. Also, outside domains one can only access exported functionality. I you need access to something internal, then you must first export appropriate functions (and recompile the domain). If you want you can add 'setelt!', including Record-like. --

Re: [fricas-devel] regression on windows

2024-05-13 Thread Waldek Hebisch
On Tue, May 14, 2024 at 02:07:28AM +0200, Waldek Hebisch wrote: > > Little extra info: if I force call to 'updateCategoryTable' I get > failure. If I load first 'UnivariatePuiseuxSeries' without > 'updateCategoryTable' and force 'updateCategoryTable' for other >

Re: [fricas-devel] regression on windows

2024-05-13 Thread Waldek Hebisch
isExistingFile f == > > --% Scratchpad II File Name Functions > > -isSystemDirectory dir == EVERY(function CHAR_=,$spadroot,dir) > +isSystemDirectory path == > + -- check if $spadroot is the prefix of 'path' > + # path >= # $spadroot and EVERY(function CHAR_=, $spadro

Re: [fricas-devel] regression on windows

2024-05-13 Thread Waldek Hebisch
On Mon, May 13, 2024 at 01:05:03PM +0200, Waldek Hebisch wrote: > On Mon, May 13, 2024 at 06:32:10PM +0800, Qian Yun wrote: > > I modified i-coerce.boot, then in FRICASsys, > > )read i-coerce > > )lisp (defun GLESSEQP (X Y) (BREAK)) > > series(sin x) > &

Re: [fricas-devel] [PATCH] fix build with CCL on windows, again

2024-05-13 Thread Waldek Hebisch
ogle 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 discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/b26

Re: [fricas-devel] regression on windows

2024-05-13 Thread Waldek Hebisch
;/msys64/home/oldk1331/build/target/x86_64-w64-mingw32/algebra/" > > (3) -> )boot isSystemDirectory pathnameDirectory get_database('Integer, > > 'OBJECT) > > > > (EVAL-WHEN (:EXECUTE :LOAD-TOPLEVEL) > >   (PROG () > >     (RETURN > > (|isSystemDirectory| > >

Re: [fricas-devel] Use symbols instead of strings in fmt.spad

2024-05-13 Thread Waldek Hebisch
On Mon, May 13, 2024 at 05:58:01PM +0200, Ralf Hemmecke wrote: > On 5/12/24 16:01, Waldek Hebisch wrote: > > OutputForm was designed so that operators are Symbol-s and > > dealing with operators should use opearations from Symbol. > > fmt.spad essentially treated operators

Re: [fricas-devel] regression on windows

2024-05-13 Thread Waldek Hebisch
dateCategoryTable' should cause no trouble, ATM I do not know why it triggers failue in the test. -- 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] regression on windows

2024-05-13 Thread Waldek Hebisch
nly place using 'GLESSEQP' to handle the example (in fact cases when it is used are quite rare). I wonder if on Windows there are extra uses of GLESSEQP? The above would allow to find them. -- Waldek Hebisch -- You received this message because you are subscribed to t

Re: [fricas-devel] regression on windows

2024-05-12 Thread Waldek Hebisch
places being the same, but using single order reduces possibility of accidentally using different orders. So, each change has risk of breaking something, but I think that once we work out accidental breakage we will have cleaner and more robust code. -- Waldek Hebi

Re: [fricas-devel] regression on windows

2024-05-12 Thread Waldek Hebisch
On Sun, May 12, 2024 at 07:44:50PM +0200, Waldek Hebisch wrote: > > AFAICS uses of GLESSEQP during this computation are trivial. > I think that real impact of GLESSEQP is on database structure. > More precisely, that entries in 'interp.daase' and other > databases are in

Re: [fricas-devel] regression on windows

2024-05-12 Thread Waldek Hebisch
1 1>exit GLESSEQP : NIL AFAICS uses of GLESSEQP during this computation are trivial. I think that real impact of GLESSEQP is on database structure. More precisely, that entries in 'interp.daase' and other databases are in different order. -- Waldek Hebisch --

Re: [fricas-devel] devaluate(Domain) at beginning of new domain in Spad

2024-05-12 Thread Waldek Hebisch
On Sun, May 12, 2024 at 04:43:53PM +0200, Grégory Vanuxem wrote: > Hello, > > Le sam. 11 mai 2024 à 21:25, Waldek Hebisch a écrit : > > > > On Sat, May 04, 2024 at 09:30:51AM +0200, Grégory Vanuxem wrote: > > > As a matter of fact, use of FLINT in FriCAS: > &g

Re: [fricas-devel] Starting FriCAS directly with FRICASsys on Windows

2024-05-12 Thread Waldek Hebisch
troot' make the following assumptions: 1) FRICASsys lives in a subdirectory parallel to 'algebra' subdirectory 2) 'first(getCLArgs())' gives path to FRICASsys bianary 3) slashes and '..' work as expected in Windows paths Apparanetly some of those assumptions are not satisfied in your case. --

[fricas-devel] Use symbols instead of strings in fmt.spad

2024-05-12 Thread Waldek Hebisch
by symbols, alt least in places that I found. -- 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, sen

Re: [fricas-devel] devaluate(Domain) at beginning of new domain in Spad

2024-05-11 Thread Waldek Hebisch
cores, that reduces real time (if you have enough cores). Also, is this time for multiplication or for powering? For example, what happens if you do: p5_f750 := p^750; pp := p5_f750*p5_f750; -- Waldek Hebisch -- You received this message because you are sub

Re: [fricas-devel] regression on windows

2024-05-10 Thread Waldek Hebisch
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/CAHnU2dZAH0GMDq9TVsVHym-Bg%2BwDqUA%3DF-UgGyfXLp2HQZ3b1g%40mail.g

Re: [fricas-devel] regression on windows

2024-05-10 Thread Waldek Hebisch
anged due to change to ordering predicate. And it is possible that ordering on Windows is different than ordering on Linux. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system"

Re: [fricas-devel] Has |binparent_dir| disappeared ?

2024-05-10 Thread Waldek Hebisch
ed on a UNBOUND-VARIABLE @5472CE50 in thread > #: > The variable |binparent_dir| is unbound. Oops, that was silly typo. Fixed now in the trunk. Thanks for info. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups &qu

Re: [fricas-devel] Re: Trace of FormalFraction

2024-05-08 Thread Waldek Hebisch
Sunday, May 5, 2024 at 6:29:23 PM UTC-4 g.va...@gmail.com wrote: > > > └─$ grep -r FormalFraction fricas/ > > fricas/src/algebra/exposed.lsp: (|FormalFraction| . FORMAL) > > > > - Greg > > Hmm, FormalFraction was implemented in Aldor. Header said: +++ Author:

Re: [fricas-devel] obsolete hyperdoc buttons in chapter 14?

2024-05-08 Thread Waldek Hebisch
r this. "Benefactors" seem to mean the same as "Users", so not needed. "Relatives", "Related operations", and "all domains" look potentially useful, they were probably victims of code restructuring. -- Waldek Hebisch -- You

Re: [fricas-devel] typesetting issue with spadfunFrom

2024-05-08 Thread Waldek Hebisch
On Wed, May 08, 2024 at 09:47:10AM +0200, Ralf Hemmecke wrote: > On 5/8/24 03:10, Waldek Hebisch wrote: > > I see, you are right, the one in "viewWriteAvailable" is wrong. > > AFAICS '\spadfunFrom' does not work inside 'description' environment. > > There are 3 ot

Re: [fricas-devel] typesetting issue with spadfunFrom

2024-05-07 Thread Waldek Hebisch
check the one under "viewWriteAvailable"? I see, you are right, the one in "viewWriteAvailable" is wrong. AFAICS '\spadfunFrom' does not work inside 'description' environment. There are 3 other uses like this, in ug07.tex inside section 'Operations for Three-Dimensional Grap

Re: [fricas-devel] typesetting issue with spadfunFrom

2024-05-07 Thread Waldek Hebisch
sometimes .pdf viewers show different thing than they should). -- 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

Re: [fricas-devel] on building the book with pdflatex

2024-05-07 Thread Waldek Hebisch
mages are no longer up to date. -- 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 f

Re: [fricas-devel] meaning of %

2024-05-06 Thread Waldek Hebisch
On Mon, May 06, 2024 at 09:24:41PM +0200, Ralf Hemmecke wrote: > On 5/6/24 20:29, Waldek Hebisch wrote: > > On Mon, May 06, 2024 at 07:33:13PM +0200, Ralf Hemmecke wrote: > > > Who can guess what the output of (3) will be just from Section 1.3.2 of > > > the > > &

Re: [fricas-devel] meaning of %

2024-05-06 Thread Waldek Hebisch
red to my first contact with Axiom. What did you expect? -- 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, sen

[fricas-devel] Partial fractions

2024-05-06 Thread Waldek Hebisch
7 58 13 6 (10) - -- + -- + -- - - 842 7 235 Type: PartialFraction(Integer) which is mathematically correct, but differs from previous result which has different signs. --

Re: [fricas-devel] Struggling with OutputForm

2024-05-06 Thread Waldek Hebisch
ter. If that shows nothing you can try 'script' and examine output using 'od' to show you character codes. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To uns

Re: [fricas-devel] [PATCH] fix races in sman

2024-05-06 Thread Waldek Hebisch
xes the build problem on your side. Looks OK. Just one remark: this is workaround, not a fix. Proper fix would involve change to protocol, in particular all I/O would need an acknowlegment and 'FRICASsys' would exit only after receiving acknowlegment about its output. Of course prope

Re: [fricas-devel] Struggling with OutputForm

2024-05-06 Thread Waldek Hebisch
iteral string is to use 'message', like: (13) -> message(" 0.165528 0.830355 0.630221 0.0903032")$OutputForm (13) 0.165528 0.830355 0.630221 0.0903032 Type: OutputForm As you can see with correct literal string y

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-05 Thread Waldek Hebisch
On Sun, May 05, 2024 at 09:55:38PM +0800, Qian Yun wrote: > > > On 5/5/24 00:09, Waldek Hebisch wrote: > > On Sat, May 04, 2024 at 11:13:14PM +0800, Qian Yun wrote: > > > > > > On 5/4/24 22:01, Ralf Hemmecke wrote: > > > > > > > >

Re: [fricas-devel] Races in graphics

2024-05-05 Thread Waldek Hebisch
On Sun, May 05, 2024 at 05:39:21PM +0200, Ralf Hemmecke wrote: > On 5/5/24 16:16, Waldek Hebisch wrote: > > Testing recent patch by Qian I got 'view3D' which showed empty > > window and used 100% of a core. A little investigation using 'gdb' > > shows that this 'view3

[fricas-devel] Races in graphics

2024-05-05 Thread Waldek Hebisch
d to other libraries like libXt). Recent changes just give me extra incentive to run 'make book.pdf'... -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubsc

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-05-04 Thread Waldek Hebisch
luck. This 100% cpu usage is principle should be not very hard to eliminate, but involves some tedious work. And before doing this work it would be good to know what Wayland folks are going to break. -- Waldek Hebisch -- You received this message because you are subsc

Re: [fricas-devel] bug in radicalSolve caused by 50f391bc

2024-05-04 Thread Waldek Hebisch
before commit. How it passed the checks? I do not know. -- 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 receivi

Re: [fricas-devel] devaluate(Domain) at beginning of new domain in Spad

2024-05-04 Thread Waldek Hebisch
Lisp symbol can be treated as SExpression, but 'string' in SExpression requires Lisp string so will fail on Lisp symbols. One you messed types 'sbcl' is free to generate wrong code. Waldek Hebisch -- You received this message because you are subscribed to the Googl

Re: [fricas-devel] Missing /: (%, S) -> % in Fraction

2024-05-02 Thread Waldek Hebisch
useless possibilities. One simply needs to experiment to find out. -- 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] [PATCH] fix showing of units in "draw"

2024-05-02 Thread Waldek Hebisch
egroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/fricas-devel/bb88c685-409a-42f8-8567-89c1a3781304%40gmail.com. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] weird behaviour

2024-05-01 Thread Waldek Hebisch
On Wed, May 01, 2024 at 02:47:45PM +0200, Ralf Hemmecke wrote: > > > On 5/1/24 14:33, Waldek Hebisch wrote: > > OrderedField() : Category == Joint(OrderedIntegralDomain, Field) > > > > 'OrderedField' potentially says more than the Join. > > Clear. > >

Re: [fricas-devel] free keyword

2024-05-01 Thread Waldek Hebisch
ction 6.16. ATM is not supported in 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

Re: [fricas-devel] weird behaviour

2024-05-01 Thread Waldek Hebisch
e to annotate algebra with several declarations like if C has OrderedRing and C has Field then OrderedField BTW: For domain we can write things like SortedExponentVector == U32Vector which basically says that 'SortedExponentVector' is an alias for 'U32Vector'. BUT ATM this is not supported for cat

Re: [fricas-devel] [PATCH] misc fix "filecopy" "|waitForViewport|"

2024-05-01 Thread Waldek Hebisch
o avoid spawning > lot's of threads. OK, please commit. -- 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,

Re: [fricas-devel] [PATCH] make the title font bigger in PS output

2024-05-01 Thread Waldek Hebisch
e at SPAD level. > > BTW, I checked the original book, most images are without title. OK, please commit. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group.

Re: [fricas-devel] weird behaviour

2024-04-30 Thread Waldek Hebisch
problem (needed transformation happended as part of processing of 'and' and 'if'). -- 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 sto

Re: [fricas-devel] \centerline vs \center

2024-04-29 Thread Waldek Hebisch
/fricas/fricas/blob/master/src/hyper/spadint.c#L1060 > > storeString("\\center{"); > > https://github.com/fricas/fricas/blob/master/src/interp/br-search.boot#L761 > > (text . "\vspace{1}\newline\center{ ") -- Wal

Re: [fricas-devel] fyi, update for Fricas 1.3.10 giving zero answer for integrate which is not zero

2024-04-27 Thread Waldek Hebisch
On Sat, Apr 27, 2024 at 08:05:30PM +0800, Qian Yun wrote: > > > On 4/19/24 22:01, Waldek Hebisch wrote: > > On Fri, Apr 19, 2024 at 12:42:19AM -0700, 'Nasser M. Abbasi' via FriCAS - > > computer algebra system wrote: > > > FYI, > > > > > >

Re: [fricas-devel] Output of Float

2024-04-26 Thread Waldek Hebisch
On Sun, Apr 14, 2024 at 11:00:33AM +0200, Grégory Vanuxem wrote: > Le sam. 13 avr. 2024 à 21:05, Waldek Hebisch a écrit : > > > > On Sun, Apr 07, 2024 at 06:05:39AM +0200, Grégory Vanuxem wrote: > > > > > > It is possible to modify some parameters to Float

Re: [fricas-devel] [PATCH] generate book.pdf with PS image instead of bitmap image

2024-04-25 Thread Waldek Hebisch
t $0 ": " view n ".VIEW/image.xpm" > -print "\tconvert $< $@" > -spadgraph=0 > -} > diff --git a/src/input/images1.input b/src/input/images1.input > index c74dac6a1..3f9425150 100644 > --- a/src/input/images1.input > +++ b/src/input/images1

Re: [fricas-devel] [PATCH] enable "title" in PS format of image output

2024-04-24 Thread Waldek Hebisch
method", not a hack: since this is _build_ property kind of output is hardcoded into 'htinp.c'. -- 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] [PATCH] fix 2D colored PS output

2024-04-22 Thread Waldek Hebisch
(float)monoColor((int)(aPoint->hue)), > - dFlag); > + color = monoColor((int)(aPoint->hue)); > } else { > - GSetForeground(globalGC1, > - (float)XSolid

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Waldek Hebisch
ing them to the end of the book. Some commands just repeat simple things, we can probably delete them. Basically, it is worth keeping only "interesting" examples. > In the long run as Greg V. said, it > would be good to produce a format for the fricas-notebook repo. > Unfortun

Re: [fricas-devel] Re: [PATCH] fix color in 3D "smooth" style in postscript output

2024-04-21 Thread Waldek Hebisch
e.  So this change will not break > > > anywhere else. > > > > > > So I decode color and use "setrgbcolor" for it and remove > > > "installGC" from "drawpoint.ps" because that's responsible for > > > setting the grey color. > > > &

Re: [fricas-devel] [PATCH] fix "write" of "smooth" style image in postscript format

2024-04-21 Thread Waldek Hebisch
> 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/28e84d63-3d81-4be9-b89d-61501723828d%40gmail.com. --

Re: [fricas-devel] [PATCH] make the filename of PS output in viewport to "image.ps"

2024-04-21 Thread Waldek Hebisch
} /* switch on ii */ >} /* if thingsToWrite >> ii */ > > -- > 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 f

Re: [fricas-devel] SKIP in src/input/Makefile.in

2024-04-21 Thread Waldek Hebisch
are tests for planned but not implemented features. But most just test graphics. -- 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] Re: ECL slowness

2024-04-20 Thread Waldek Hebisch
On Fri, Apr 19, 2024 at 01:18:13PM +0200, Waldek Hebisch wrote: > On Sat, Apr 13, 2024 at 12:54:22PM +0200, Dima Pasechnik wrote: > > > > But that's what ECL is doing, compiling to C and then calling a C compiler? > > Would it be more useful to figure out why the

Re: [fricas-devel] calling FriCAS functions from Lisp

2024-04-20 Thread Waldek Hebisch
On Sat, Apr 20, 2024 at 01:18:13PM -0700, Dima Pasechnik wrote: > > > On Saturday, April 20, 2024 at 12:48:43 PM UTC+1 Waldek Hebisch wrote: > > On Sat, Apr 20, 2024 at 02:47:02AM -0700, Dima Pasechnik wrote: > > How does one do this? > > (with ECL or SBCL). >

Re: [fricas-devel] calling FriCAS functions from Lisp

2024-04-20 Thread Waldek Hebisch
will fix this shortly, after more testing). In both cases usage has changed a bit: one needs to set FRICAS environment variable to location of build tree. Both files contain instructions about use. -- Waldek Hebisch -- You received this message because you are sub

Re: [fricas-devel] [PATCH] install fricas-readline to target directory

2024-04-19 Thread Waldek Hebisch
istory feature is really convenient when > you need to input the same things over and over again during debugging. OK. I use 'clef' so did not notice that it was not installed. -- Waldek Hebisch -- You received this message because you are subscribed to the Google

Re: [fricas-devel] [PATCH] remove "sleep" to speed up "draw"

2024-04-19 Thread Waldek Hebisch
On Fri, Apr 19, 2024 at 09:02:59PM +0800, Qian Yun wrote: > > > On 4/19/24 20:41, Waldek Hebisch wrote: > > > > Long ago I looked at communication protocol between various > > processes that we use and my conclusion was that it is > > inherently racy: there are

Re: [fricas-devel] fyi, update for Fricas 1.3.10 giving zero answer for integrate which is not zero

2024-04-19 Thread Waldek Hebisch
may combine to 0. And FriCAS assumes that they will combine to 0. This is a design choice: I think that current behaviour is more useful than easy alternatives like signaling error in user input. The other 3 are plain bugs. -- Waldek Hebisch -- You received th

Re: [fricas-devel] [PATCH] remove "sleep" to speed up "draw"

2024-04-19 Thread Waldek Hebisch
, but that IMO would require deeper analysis and more testing. As I wrote we have several channels of communication and code assumes certain ordering contraints. Without identifying contraints (and some could be far from obvious) and analysing them it is hard to say more than "ther

[fricas-devel] Re: ECL slowness

2024-04-19 Thread Waldek Hebisch
ly decreased performance, at least in terms of CPU efficiency, which leads to longer build/test times. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe fr

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

2024-04-18 Thread Waldek Hebisch
able to parse this 10-20 times faster. -- 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

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

2024-04-18 Thread Waldek Hebisch
of input form to string (unparse) takes 9.84s and resulting string has 67Mb. And of course InputForm was not designed for heavy use.. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra s

Re: [fricas-devel] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

2024-04-18 Thread Waldek Hebisch
putForm, it works, just is slow when printing to terminal and useless because the result is much bigger than terminal scrollback buffer. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra sy

Re: [fricas-devel] generate images from sources in appendix

2024-04-18 Thread Waldek Hebisch
On Thu, Apr 18, 2024 at 09:21:17PM +0800, Qian Yun wrote: > > > On 4/16/24 22:38, Waldek Hebisch wrote: > > > > Just a silly question: have you looked why the image is so big? > > Your new image is 6.7M and bigger than scanned version (4.3M). > > Old knot3

Re: [fricas-devel] generate images from sources in appendix

2024-04-18 Thread Waldek Hebisch
n the actual commands that produced them. There section 'Programs for FriCAS Images' in FriCAS book. AFAIK it gives the sources. And AFAIUI Qian can generte those pictures. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups

Re: [fricas-devel] \url command in util.ht

2024-04-17 Thread Waldek Hebisch
ut we should really not depend on this. -- 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-dev

Re: [fricas-devel] "title" in image output

2024-04-17 Thread Waldek Hebisch
gt; point of generating a smaller image and taller title? Is that > required by hyperdoc somehow? I do not think so. > My guess is that making the image smaller can make the title > font relatively larger. > I think 300x324 is a mistake, it calculated titleHeight twice. Possibly. --

Re: [fricas-devel] Problem with function definition

2024-04-16 Thread Waldek Hebisch
evaluation do not leak to user environment. -- 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 t

Re: [fricas-devel] generate images from sources in appendix

2024-04-16 Thread Waldek Hebisch
On Wed, Apr 17, 2024 at 07:26:21AM +0800, Qian Yun wrote: > > > On 4/16/24 22:38, Waldek Hebisch wrote: > > On Tue, Apr 16, 2024 at 06:11:56PM +0800, Qian Yun wrote: > > > I can now generate all images from sources listed in appendix. > > > > Good. >

Re: [fricas-devel] "title" and "frame" in PostScript output

2024-04-16 Thread Waldek Hebisch
eally do not make sense, but we should exclude only ones that are _really_ nonsense). > On 4/16/24 03:10, Waldek Hebisch wrote: > > > > It is better to present consitent interface. OTOH important use of > > .ps is for inclusion inside text. In such case title and frame > > m

Re: [fricas-devel] generate images from sources in appendix

2024-04-16 Thread Waldek Hebisch
ression, compressed knot3.ps is 153k. So I would expect .pdf of order 0.5M. -- 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] fyi, list of exceptions for Fricas, summer 2024 edition of independent CAS integration tests

2024-04-16 Thread Waldek Hebisch
"failed" comes from FriCAS, but fishy type, that is: SparseUnivariatePolynomial(Expression(Complex(Integer))) suggests that there is something wrong with "user input", that is with Sage interface. -- Waldek Hebisch -- You received th

[fricas-devel] Slow formal derivatives

2024-04-15 Thread Waldek Hebisch
kernels, so when we repeat calculation, then our cache keep growing. This suggest that we should re-think representation of formal derivatives and possibly also use of dummies. -- Waldek Hebisch -- You received this message because you are subscribed to the Google

Re: [fricas-devel] "title" and "frame" in PostScript output

2024-04-15 Thread Waldek Hebisch
o present consitent interface. OTOH important use of .ps is for inclusion inside text. In such case title and frame may be undesirable. So I think we need a way to control inclusion of title and frame. -- Waldek Hebisch -- You received this message because you are sub

Re: [fricas-devel] default arguments to sbcl, again

2024-04-14 Thread Waldek Hebisch
On Sun, Apr 14, 2024 at 07:50:02PM +0200, Waldek Hebisch wrote: > On Sun, Apr 14, 2024 at 06:31:11PM +0200, Waldek Hebisch wrote: > > On Sun, Apr 14, 2024 at 11:03:36AM +0800, Qian Yun wrote: > > > diff --git a/configure.ac b/configure.ac > > > inde

Re: [fricas-devel] default arguments to sbcl, again

2024-04-14 Thread Waldek Hebisch
On Sun, Apr 14, 2024 at 06:31:11PM +0200, Waldek Hebisch wrote: > On Sun, Apr 14, 2024 at 11:03:36AM +0800, Qian Yun wrote: > > diff --git a/configure.ac b/configure.ac > > index 073f3e96..0c66c8de 100644 > > --- a/configure.ac > > +++ b/configure.ac &

  1   2   3   4   5   6   7   8   9   10   >