Re: [fricas-devel] [PATCH] misc cleanups and typo fixes

2023-06-23 Thread Waldek Hebisch
On Fri, Jun 23, 2023 at 03:47:13PM +0800, Qian Yun wrote: > Hi, I'd like to include this misc cleanups and typo fixes patch before > release, please review. Thanks, please go on. -- Waldek Hebisch -- You received this message because you are subs

Re: [fricas-devel] modmap selection

2023-06-21 Thread Waldek Hebisch
On Wed, Jun 21, 2023 at 09:17:59PM +0200, Ralf Hemmecke wrote: > On 21.06.23 16:24, Waldek Hebisch wrote: > > > The file just invokes ')compile' but I see no .spad file. > > I am sorry. Now the .spad file is attached as well. Well, we have: (7) -> s::QETATTS(QETATS(FRAC(IN

Re: [fricas-devel] Packaging FriCAS for Fedora

2023-06-21 Thread Waldek Hebisch
application code. Anyway, to tools that look at ELF executable sections the two binaries appear identical, but they are significantly different. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer

Re: [fricas-devel] modmap selection

2023-06-21 Thread Waldek Hebisch
es. Before the problem is solved it is hard to say if you see one of know bugs or a new bug. Or maybe the case above works as designed due to some unexpected coincidence. It seem that Weber paper which was in reference section on the wiki gives outline of the method. -- Waldek Hebisch -- You received thi

Re: [fricas-devel] FriCAS status

2023-06-19 Thread Waldek Hebisch
rounds. -- 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] FriCAS status

2023-06-19 Thread Waldek Hebisch
h wide range of system versions. Of course, I need to avoid unstable dependencies (or at least have some way to tame them), otherwise I would be hostage to other folks breaking my binaries. -- Waldek Hebisch -- You received this message because you are subscribed to

Re: [fricas-devel] FriCAS status

2023-06-15 Thread Waldek Hebisch
than many other changes. In fact, supposedly innocent change can lead to breakage. What was different was late testing. Fortunately Peter made progress on this part. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups &

Re: [fricas-devel] laurent series

2023-06-12 Thread Waldek Hebisch
some "basis" > polynomials bi(j,j17) where p is of degree < [17,17] in both series. > Then I multiply the result with j and reduce again by the basis. I need > roughly 300 of these rounds, but get my memory full in round 200. It looks that your reduction step is likely to creat

Re: [fricas-devel] hunchentoot

2023-06-10 Thread Waldek Hebisch
h hsbcl and no quicklisp and installed jfricas on top > of this. The whole thing works with hsbcl and the current master. > No additional patches from my side are required. In other words, if a user > provides a version of SBCL that lets webspad start hunchentoot > > https://github.

Re: [fricas-devel] Aldor and FOAM-USER::|fiRaiseException|

2023-06-09 Thread Waldek Hebisch
On Tue, Jun 06, 2023 at 10:00:45PM +, Waldek Hebisch wrote: > On Sun, Jun 04, 2023 at 01:38:43AM +0200, Grégory Vanuxem wrote: > > Go on! > > There is branch with proposed changes prepared by Ralf Hemmecke: I have now commited changes from that branch which looked good. As

Re: [fricas-devel] Aldor and FOAM-USER::|fiRaiseException|

2023-06-06 Thread Waldek Hebisch
ace. -- 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 discussi

Re: [fricas-devel] hunchentoot

2023-06-03 Thread Waldek Hebisch
hsbcl time ./build_hsbcl > rap1 2>&1 this creates executable called 'hsbcl' which can be used to build FriCAS. If that is enough for jfricas, then I will do something similar for next release (but probably better integrated with FriCAS build). -- Wald

Re: [fricas-devel] Aldor and FOAM-USER::|fiRaiseException|

2023-06-03 Thread Waldek Hebisch
Aldor version? > https://github.com/hemmecke/aldor sieve.as is supposed to work also without Aldor interface. But after recent changes from '$' to '%' few things get broken. One fix is commited, but there is second one which still is not commited. -- Waldek

Re: [fricas-devel] Tensor Product

2023-05-30 Thread Waldek Hebisch
>> Apparent user error: >NoValueMode > is an unknown mode You need also earlier tensor-related changes. When you fetch sources via git you will get complete set of changes. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Gro

Re: [fricas-devel] Modifying function selection order

2023-05-24 Thread Waldek Hebisch
lanned and split the package. Expose wanted part. I wrote about idea of partial exposure: if we could control exposure for each function, we could mark unwanted variant as unexposed. But ATM partial exposure is just an idea (and to that not fully baked idea). -- Wa

Re: [fricas-devel] Tensor Product

2023-05-19 Thread Waldek Hebisch
CAS. -- 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...@goo

Re: [fricas-devel] Tensor Product

2023-05-18 Thread Waldek Hebisch
FriCAS. -- 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] Tensor Product

2023-05-16 Thread Waldek Hebisch
the required return type, > or "$" to specify which version of the function you need. > > (25) -> > > > Just wondering, is the tensor product, TA, only a vector-space module or is it an > algebra too? No, ATM one needs to define ring/algebra structure separ

Re: [fricas-devel] Re: [aldor-devel] Renaming $ to %

2023-05-15 Thread Waldek Hebisch
On Mon, May 15, 2023 at 07:36:06AM +0200, Ralf Hemmecke wrote: > Thank you, Waldek, for the quick reaction. > > On 15.05.23 03:59, Waldek Hebisch wrote: > > On Mon, May 15, 2023 at 12:47:37AM +0200, Ralf Hemmecke wrote: > > > Thank you, Peter, for investing your time into

Re: [fricas-devel] Re: [aldor-devel] Renaming $ to %

2023-05-14 Thread Waldek Hebisch
ood). 3) I am not sure about change to trace.boot, but it is likely to be wrong. 4) For Aldor you probably only need changes to as.boot and 3 of the changes to interop.boot. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Group

Re: [fricas-devel] Matrices of matrices

2023-05-13 Thread Waldek Hebisch
> type, then they are OK. But 'setelt!' is special, it works by > > side effect, so it must work on argument "as given" and can > > not coerce it to new type (which would create copy). > > Yes. Clear. Do you mean the problem is that setelt! is currently not treated

[fricas-devel] Convert versus coerce

2023-05-13 Thread Waldek Hebisch
message. -- 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-deve

Re: [fricas-devel] Matrices of matrices

2023-05-13 Thread Waldek Hebisch
On Sat, May 13, 2023 at 04:37:08PM +0200, Ralf Hemmecke wrote: > On 07.05.23 04:49, Waldek Hebisch wrote: > > In mail from 4 Nov 2019 Johannes Grabmeier proposed extending > > two dimensional arrays to work as matrices of matrices. > > Link: > https://www.mail-

Re: Fwd: [fricas-devel] half of rowEchelon

2023-05-13 Thread Waldek Hebisch
s to preserve sign of determinanat. Row swap multiplies sign > > of determinant by -1, so we need to compensate this. > > Yes, now it's clear. > > Would you mind if I propose a patch with some more hints in the code? > (see pull request at github) > > https://github.c

Re: Fwd: [fricas-devel] half of rowEchelon

2023-05-12 Thread Waldek Hebisch
of odd row swaps? 'ans' is to preserve sign of determinanat. Row swap multiplies sign of determinant by -1, so we need to compensate this. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer al

Re: [fricas-devel] half of rowEchelon

2023-05-12 Thread Waldek Hebisch
er of operations needed to turn elements below diagonal into zeros. 'LUDecomp' has restrictions (I think that it wants nonzero pivot in each column), but there is generalization without such restriction (I have uncommited version which I developed for unfinished modular solver for linear systems). --

Re: [fricas-devel] Tensor Product

2023-05-10 Thread Waldek Hebisch
Then tP := TensorProduct(FN, o2, o3, A2, A3) works and you can do tensor((basis()$A2)(1), (basis()$A3)(1))$tP -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To

Re: [fricas-devel] domains and multivalued functions

2023-05-10 Thread Waldek Hebisch
s correction leading to correct choice of branch of logarithm. -- 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] Tensor Product

2023-05-09 Thread Waldek Hebisch
M1 has FreeModuleCategory(R, B1) and similarly for M2. But AlgebraGivenByStructuralConstants does not have FreeModuleCategory. So one needs to modify AlgebraGivenByStructuralConstants to add FreeModuleCategory and implement needed functions. See attached (only lightly tested) patch for how one can do this. --

Re: [fricas-devel] plot of an equation

2023-05-07 Thread Waldek Hebisch
On Sun, May 07, 2023 at 05:37:17PM +, '68th' via FriCAS - computer algebra system wrote: > --- Original Message --- > On Sunday, May 7th, 2023 at 1:37 PM, Waldek Hebisch > de...@fricas.math.uni.wroc.pl wrote: > > > Well, that is "fit into available window&q

Re: [fricas-devel] plot of an equation

2023-05-07 Thread Waldek Hebisch
ive. Well, that is "fit into available window" feature. Click on Units button in control panel to turn Unit on, you will see that function values change much more than arguments. And what did you expect? Having ony small part of the graph and rest clipped? --

[fricas-devel] Matrices of matrices

2023-05-06 Thread Waldek Hebisch
tly IMO we can not commit this code, we need solution to interpreter problems first. We probably could commit change to MatrixCategory (which is large part of changes), but this is of limited use. -- Waldek Hebisch -- You received this message because you are subscribed to

Re: [fricas-devel] plot of an equation

2023-05-06 Thread Waldek Hebisch
On Fri, May 05, 2023 at 07:21:13PM +, '68th' via FriCAS - computer algebra system wrote: > --- Original Message --- > On Thursday, May 4th, 2023 at 9:30 PM, Waldek Hebisch > de...@fricas.math.uni.wroc.pl wrote: > > > judging from what you said, this command:

Re: [fricas-devel] 456f8b404b9b44c1e38d725f281cdc43abca57f7 fails to build fricas-aldor interface

2023-05-06 Thread Waldek Hebisch
en I compile sieve.as against the libfricas.al from that version, only > sieve.fasl is different. So the problem must lie inside libfricas.al. Clearly this is problem of incompatiblity of runtimes. Something must still assume that FriCAS function signatures contain '$'. One point is that 'hashTyp

Re: [fricas-devel] X11 settings

2023-05-06 Thread Waldek Hebisch
to decide how big the window should be and what font size to use. -- 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 e

Re: [fricas-devel] 456f8b404b9b44c1e38d725f281cdc43abca57f7 fails to build fricas-aldor interface

2023-05-06 Thread Waldek Hebisch
ld on any of my machines (due to an autotools problem). And old Aldor would not do due to incompatible changes. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To u

[fricas-devel] Partial exposure

2023-05-05 Thread Waldek Hebisch
have more detailed control. For example consider constructor as exposed only when arguments satisfy specific conditions? Or maybe hide some signatures? -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "Fr

Re: [fricas-devel] HashState modulo

2023-05-05 Thread Waldek Hebisch
release there are issues to resolve. One of issues (dependency on SSL) is resolved. But there are other, and progress here requires cooperation. Which brings communication delays. So this is definitely not thing that cound be "fast tracked". -- Waldek Hebi

Re: [fricas-devel] Coordinates for plotting

2023-05-04 Thread Waldek Hebisch
On Thu, May 04, 2023 at 08:02:38AM +, '68th' via FriCAS - computer algebra system wrote: > On Wednesday, May 3rd, 2023 at 7:48 PM, Waldek Hebisch > de...@fricas.math.uni.wroc.pl wrote: > > > There is also another thing: when given option 'polar' our code > >

Re: [fricas-devel] plot of an equation

2023-05-04 Thread Waldek Hebisch
near transform this will be curved, so to represent it accurately we need intermediate points. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from th

Re: [fricas-devel] hunchentoot

2023-05-03 Thread Waldek Hebisch
need to > fiddle around with SBCL_HOME. OK, I will how this works. > I'm a bit busy with other things, but will try to open a pull request on > github so that we can discus further on the PR and hopefully Kurt will then > also chime in and comment. You gave me above branch to fetch,

Re: [fricas-devel] hunchentoot

2023-05-03 Thread Waldek Hebisch
specified by FRICAS environment variable. Currently for Lisp files I use simple approach: everything that is needed is loaded and dumped as part of core. I am not sure if this will work for hunchentoot, but that would be my first try, -- Waldek Hebisch -

Re: [fricas-devel] Recasting Vectors

2023-05-03 Thread Waldek Hebisch
called only if 'empty?' returns false. If 'empty?' returns true, then there are no more terms, so we use 0 instead. -- 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 s

Re: [fricas-devel] HashState modulo

2023-05-03 Thread Waldek Hebisch
y when they actually implement useful 'hashUpdate!'. -- 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,

[fricas-devel] Coordinates for plotting

2023-05-03 Thread Waldek Hebisch
rer would be to have functions like 'polar_to_cartesian' (our current 'polar') and 'cartesian_to_polar' (we do not have it now). But I somewhat dislike so long names. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "

Re: [fricas-devel] plot of an equation

2023-05-03 Thread Waldek Hebisch
u want. -- 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

Re: [fricas-devel] Lineage

2023-05-03 Thread Waldek Hebisch
sion. I normally view documentation via hyperdoc, so I see real thing (dumps are "texonly"). AFAICS creating new dumps is not that much work, but this is manual process that must be repeated for all updates. -- Waldek Hebisch -- You received this message be

Re: [fricas-devel] Union with equal types

2023-05-02 Thread Waldek Hebisch
can I do that in SPAD? AFAIK ATM there is no way. The attached patch tries to add Aldor way to SPad compiler. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubsc

Re: [fricas-devel] Use of % instead of $

2023-05-02 Thread Waldek Hebisch
(: expn (Record (: base $) (: expo > (NonNegativeInteger (: elem B)) > $f:= > |c| # #) (|x| # #) (|case| #) (|elt| #) ...))) > >>> Apparent user error: >NoValueMode > is an unknown mode Using recent trunk I see % in compiler messages. --

Re: [fricas-devel] SPAD specification: inheritance of category default implementations (FriCAS vs Aldor)

2023-05-02 Thread Waldek Hebisch
esign gives a lot of details. > > Well, I did and realized that the content does not agree with reality. > Or maybe I am not smart enough to find a button labelled "Linage". Grepping > through the FriCAS sources doesn't find anything for "Lineage". I not sure why you wri

Re: [fricas-devel] SPAD specification: inheritance of category default implementations (FriCAS vs Aldor)

2023-05-02 Thread Waldek Hebisch
irst search where order of arguments to Join gives order on parents. It is probably not wise to depend on order being depth-first (people may change order of arguments to Join), but within linear inheritance chain order should be reliable. -- Waldek Hebisch -- Y

Re: [fricas-devel] plot of an equation

2023-05-02 Thread Waldek Hebisch
; > > draw(t=1, t, r, range == [-%pi..%pi, -3..3], coordinates==polar) > > plots a vertical line again as if the coordinates are still Cartesian. Yes, plots for solutions to equations ignore option for coordinates and use cartesian coordinates. --

Re: [fricas-devel] Passing a package constructor function as argument

2023-05-02 Thread Waldek Hebisch
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 discussion on the web visit > https://groups.google.com/d/msgid/fricas

Re: [fricas-devel] Passing a package constructor function as argument

2023-05-02 Thread Waldek Hebisch
epends on argument, this is unsupported. -- 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...@goo

Re: [fricas-devel] plot of an equation

2023-05-01 Thread Waldek Hebisch
ations. Example from the FriCAS book: draw(x * y = 1, x, y, range == [-3..3, -3..3]) -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from thi

Re: [fricas-devel] problem with elliptic coordinates

2023-05-01 Thread Waldek Hebisch
raw(c, 0..2*%pi, coordinates==elliptic(1.::DFLOAT)) 3. Note that in FriCAS '=' means equality or equation. Assignment uses ':=', '==' defines functions. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - c

Re: [fricas-devel] Gain of remove_directory

2023-04-30 Thread Waldek Hebisch
tandarized operations. Alternatives bring various dependencies which may cause trouble, -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group

Re: [fricas-devel] Scope markers

2023-04-27 Thread Waldek Hebisch
On Thu, Apr 27, 2023 at 04:34:48PM +0200, Ralf Hemmecke wrote: > On 27.04.23 15:49, Waldek Hebisch wrote: > > > If that goes in, it will go together with test which can serve as > > example. Also, 'scope' is part of internal machinery which should be > > ignorable except

[fricas-devel] Linear solvers

2023-04-27 Thread Waldek Hebisch
to fractions. Cramer formulas may lead to exponential complexity and are likely to be slower than other methods. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubs

Re: [fricas-devel] Scope markers

2023-04-27 Thread Waldek Hebisch
This is part of public disscusion, so back to the list. On Sun, Apr 23, 2023 at 01:03:59AM +0200, Ralf Hemmecke wrote: > On 17.04.23 02:52, Waldek Hebisch wrote: > > Some time I wrote about scope markers. Now I have trial > > implementation (attached patch). > > > W

Re: [fricas-devel] Recasting Vectors

2023-04-26 Thread Waldek Hebisch
version). Compile the attached Spad file. Then ')read' the attached input file. Final line of outut is: 1 2 11 (17) B + 3 A + (3 B + 2 A)11 + (10 B + 5 A)11 + O(11 ) Type: ModuleTaylorSeries(Fraction(Integer),AlgebraGivenByStructuralCons

Re: [fricas-devel] 456f8b404b9b44c1e38d725f281cdc43abca57f7 fails to build fricas-aldor interface

2023-04-24 Thread Waldek Hebisch
> axFormatType(typeform) == > atom typeform => > typeform = '$ => '% <- > STRINGP typeform => > ['Apply,'Enumeration, INTERN typeform] Yes, we should special case '% like in attached patch. --

Re: [fricas-devel] Re: % versus $

2023-04-23 Thread Waldek Hebisch
urday, April 22, 2023 at 3:19:32 PM UTC-4 Waldek Hebisch wrote: > > > For many years internally Spad compiler and interpreter renamed > > '%' to '$' and internally used '$'. I have now commited a patch > > that disables this renaming so that '%' from source is internally > &g

[fricas-devel] % versus $

2023-04-22 Thread Waldek Hebisch
and interpreter, but main gain should be in debugging: Lisp data structures should be more similar to Spad source, so easier to interpret. There is also related cost: patch touches a lot of places in interp subdirectory and potentially may introduce bugs. -- Waldek

Re: [fricas-devel] misleading error message

2023-04-21 Thread Waldek Hebisch
usually pretty hard to decipher. I would not call this "bug". You example is an easy one, but there are fundamental limitations what Spad-like compiler can do in such cases. I wonder what Aldor reports for such code? -- Waldek Hebisch -- You received this m

Re: [fricas-devel] conditional exports

2023-04-21 Thread Waldek Hebisch
bably just stores info that 'qetaGrade' from '%' to ZZ is available. But at point of use '%' has wrong meaning. Yes, Spad compiler should properly track meaning of '%'. But in this case using F is clearer both for compiler and readers of the code. -- Waldek Hebisch -- You

Re: [fricas-devel] Recasting Vectors

2023-04-19 Thread Waldek Hebisch
ional is doing, but using stream of vectors (or more general aggregates). If all what you want is printing, then you should be able to produce printouts using digits extraction (say via 'approximate'). -- Waldek Hebisch -- You received this message because you are subscr

Re: [fricas-devel] Recasting Vectors

2023-04-19 Thread Waldek Hebisch
p-adic rationals is unimplemented. But it would be easy to add it. In general, x - approximate(x, 0)::PR is a p-adic integer, so you can split p-adic rational into integer part and fractional part. -- Waldek Hebisch -- You received this message because

[fricas-devel] Scope markers

2023-04-16 Thread Waldek Hebisch
" gets replaced by names from 'rl' depending on nesting level. The patch only handles SUP. There is regression: 'precodition' replaces scope markers as needed, but when outputting type we do not call 'precodition', so scope markers appear in output of types. I am working on this, will wri

Re: [fricas-devel] FiniteStream or LazyList

2023-04-15 Thread Waldek Hebisch
to force it on any pretext or not. If you do not force it, then you gained nothing. OTOH if you force it then you could use List from the start. Current design allow you to add trivial functions like partition_list(n) == complete(partitions(n)) or maybe partition_list(n) == entries(complete(

Re: [fricas-devel] Problem reading output file

2023-04-15 Thread Waldek Hebisch
7 8 9 10 + 9 13 + 9 13 + 9 13 + 9 13 + 9 13 + 9 13 + 9 13 + 9 13 + 9 13 + 10 11 9 13 + O(13 ) ] Type: List(PAdicRational(13)) (5) -> ll("Am") +2 3 5 0 + |

Re: [fricas-devel] Problem reading output file

2023-04-15 Thread Waldek Hebisch
g, that is thing which is supposed to work, but does not work. -- 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 ema

Re: [fricas-devel] run external command and capture output without temporary files

2023-04-13 Thread Waldek Hebisch
Rubey tried "Pyton in Lisp" package. The idea was to run Pytion code from FriCAS and in that way get access to Sage. IIRC this worked fine for pure Pyton, but Sage is kind of opposite to "pure Python": most code is in external programs. -- Waldek Hebis

Re: [fricas-devel] )spool filename not recording output

2023-04-13 Thread Waldek Hebisch
r 'rlwrap', but ATM I found them good enough. Concerning ')spool', I do not think that we should keep current implementation. OTOH we should clean out our input-output machinery and with cleaned up implementation correct implementation of ')spool' should be easy. --

Re: [fricas-devel] run external command and capture output without temporary files

2023-04-11 Thread Waldek Hebisch
g content of the file. -- 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 fr

Re: [fricas-devel] Re: Wiki

2023-04-08 Thread Waldek Hebisch
On Fri, Apr 07, 2023 at 10:57:51PM +0200, Ralf Hemmecke wrote: > On 07.04.23 01:14, Waldek Hebisch wrote: > > On Thu, Apr 06, 2023 at 10:13:56AM -0700, Ralf Hemmecke wrote: > > > The wiki is still down. Any chance that it will come back soon? > > > Ralf > > >

Re: [fricas-devel] Re: Wiki

2023-04-06 Thread Waldek Hebisch
On Thu, Apr 06, 2023 at 10:13:56AM -0700, Ralf Hemmecke wrote: > The wiki is still down. Any chance that it will come back soon? > Ralf > > On Friday, March 3, 2023 at 4:05:47 PM UTC+1 Waldek Hebisch wrote: > > > There is something wrong with Wiki virtual machine, so for no

Re: [fricas-devel] Mechanics of function selection

2023-04-02 Thread Waldek Hebisch
functions: we obtained numeric values instead of symbolic ones. This was fixed adapting current structure (or, more precisely removing deviations from used pattern). BTW: If you name your package JuliaDoubleFloatSpecialFunctions, then interpreter will treat is as "associated" packag

Re: [fricas-devel] plus vs. minus

2023-04-01 Thread Waldek Hebisch
ould clearly know that d is (or can be coerced to PI so why not > trying that in the (f-f) case? That looks like a bug. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To

Re: [fricas-devel] Problems with FriCAS on Apple M2 Pro Ventura 13.2.1

2023-03-24 Thread Waldek Hebisch
cl has problem, FriCAS needs working Lisp, so this must be resolved first. For native sbcl normal way is to compile it using earler version of sbcl. sbcl folks provide binary of sbcl-2.1.2 for Darwin on ARM64, which theortically should work. -- Waldek Hebisch -- Yo

Re: [fricas-devel] why Fricas does not automatically simplify sin(x)/cos(x) to tan(x)?

2023-03-10 Thread Waldek Hebisch
ormal form of expressions which forces normalization and expansion. Normalization means that internally integrator may use different kernels than what is in user input, and preservation is currently limited to kernels. I have some ideas to how to preserve more but that needs new code and effect will be l

Re: [fricas-devel] why Fricas does not automatically simplify sin(x)/cos(x) to tan(x)?

2023-03-09 Thread Waldek Hebisch
ot transform this back to 'tan' form or maybe it considers version in terms of 'sin' and 'cos' as simpler. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubsc

Re: [fricas-devel] Re: MIT Integration Bee results

2023-03-06 Thread Waldek Hebisch
st be the > same reason. Yes, this one (and other timeouts) is FriCAS weakness. I mentioned it as one that should be improved. But now marking it as failure is right thing to do. -- Waldek Hebisch -- You received this message because you are subscribed to the

Re: [fricas-devel] Re: MIT Integration Bee results

2023-03-06 Thread Waldek Hebisch
2018*x^2017+2017*x^2016)/(x^4036+2*x^4035+x^4034+1) cos(3*x)+sin(2*x)*(-sin(2019*x)+cos(3*x)) but first and third currently trigger costly transformations, that could be avoided. Second looks inherently heavy when done by general methods. -- Waldek Hebisch -- You rec

Re: [fricas-devel] about sbcl-2.3.2 (package related) compile error

2023-03-05 Thread Waldek Hebisch
ATM problem showed up when we used 'in-package', but in principle it could affect other symbols too. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsub

Re: [fricas-devel] about sbcl-2.3.2 (package related) compile error

2023-03-05 Thread Waldek Hebisch
ement other peoples ideas > in this area.. Just 'in-package' without extra stuff, like: (in-package "BOOT") -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. T

[fricas-devel] Wiki

2023-03-03 Thread Waldek Hebisch
There is something wrong with Wiki virtual machine, so for now wiki is down. I am investigating. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubs

Re: [fricas-devel] [PATCH] add a new function "add!" for IDPO

2023-03-02 Thread Waldek Hebisch
On Sun, Feb 26, 2023 at 09:52:19AM +0800, Qian Yun wrote: > > > On 2/26/23 04:18, Waldek Hebisch wrote: > > On Thu, Oct 06, 2022 at 08:24:09AM +0800, Qian Yun wrote: > > > By using macros, this avoids code duplication. > > > > > > One minor ques

Re: [fricas-devel] Re: help files in src/doc (issue : #112)

2023-02-27 Thread Waldek Hebisch
lity to documentation Makefile. In documentation Makefile we can use conditionals to enable only targets buildable without X. We already have logic for pages depending on graphic (connection to X server). Such logic should be more general. -- Waldek Hebisch -- You

Re: [fricas-devel] Re: Some trivia

2023-02-25 Thread Waldek Hebisch
algebra lines is upper estimate of common lines with Axiom algebra from 2007 and remaining 140737 lines were added or changed after fork. And as you can see more than half of change is code in new files. -- Waldek Hebisch -- You received this message because you are

Re: [fricas-devel] fricas-aldor interface is broken

2023-02-25 Thread Waldek Hebisch
r compile sieve.as (is attached) with > 68a3e8eee6d1dc20b925fd11220f38f2a033e027, because I get the following error. > So this commit introduces a bug. I seems that I missed one place that needed updating. Can you try the attached patch. -- Waldek H

Re: [fricas-devel] [PATCH] minor cleanup in IDPO

2023-02-25 Thread Waldek Hebisch
lRing. That one looks OK. Sorry for delayed answer. -- 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

[fricas-devel] Some trivia

2023-02-25 Thread Waldek Hebisch
same functionality". Data above shows that there were huge changes to algebra, adding many new things and improving old one. And while smaller, changes to other parts were quite significant. -- Waldek Hebisch -- You received this message because you are

Re: [fricas-devel] FriCAS and GCL

2023-02-14 Thread Waldek Hebisch
ample, extra code in Makefile or limited debugability are likely to use extra developement time that could be spend on other things. And for Lisp code generated by Spad compiler good optimizations are unlikely to require much time. -- Waldek Hebisch -- You rece

Re: [fricas-devel] fricas-aldor interface is broken

2023-02-13 Thread Waldek Hebisch
say if this is interface probles, that is .ap files are wrong, or Aldor problem (crahs on valid code). -- 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] FriCAS and GCL

2023-02-13 Thread Waldek Hebisch
, I'll assume the gcl conditionals should reflect > >= 2.6.13. I think that keeping compatiblity with gcl-2.6.12 would be too problematic. So yes, >= 2.6.13. -- Waldek Hebisch -- You received this message because you are subscribed to the Goo

Re: [fricas-devel] FriCAS and GCL

2023-02-12 Thread Waldek Hebisch
y to get failure without extra error message is when 'configure' decides that there are no Unix domain sockets on the machine. For this one should check if 'config/fricas_c_macros.h' in build directory contains line: #define HAVE_SOCKADDR_UN 1 -- Waldek Hebisch

[fricas-devel] FriCAS and GCL

2023-02-11 Thread Waldek Hebisch
* (quote (list ".lsp")))' \ ' "$(lisp_c_objects) $(fricas_c_runtime_extra)")' \ | $(FRICAS_LISP) -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system&qu

Re: [fricas-devel] FriCAS CheckBench and errors with different CL flavors

2023-02-10 Thread Waldek Hebisch
piler::*default-large-memory-model-p* t) for all loadable compilations? -- 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] FriCAS wiki

2023-01-28 Thread Waldek Hebisch
On Fri, Dec 16, 2022 at 07:31:45PM +, Waldek Hebisch wrote: > FriCAS wiki will be down for some time. Wiki should work. -- Waldek Hebisch -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra syste

<    2   3   4   5   6   7   8   9   10   11   >