Re: [fricas-devel] Re: New Formatting Framework

2020-07-26 Thread Waldek Hebisch
On Wed, Jul 22, 2020 at 11:57:59PM -0700, Ralf Hemmecke wrote: > Repost an old post (with attachment). > > On Monday, April 27, 2020 at 3:19:53 AM UTC+2, Ralf Hemmecke wrote: > > > > I've now extended/modified my new TexFormat into FormatLaTeX. > > > > In fact, I've create a new way of

Re: [fricas-devel] ReplaceAll in FriCAS

2020-07-26 Thread Bill Page
(1) -> v:=operator('v) (1) v Type: BasicOperator (2) -> m*a=-m*g-k*v(t) (2) a m = - k v(t) - g m Type: Equation(Expression(Integer)) (3) -> subst(%% 2, a=differentiate(v(t),t))

[fricas-devel] ReplaceAll in FriCAS

2020-07-26 Thread Roustam Shaitan
Hello, In Wolfram Mathematica it's possible to transform an equation with ReplaceAll (/.): In[1]m*a==-m*g-k*v[t] Out[1] am=-gm-kv(t) In[2]%1 /. a->v'[t] Out[2] mv'(t)=-gm-kv(t) How to do the same in FriCAS? With rules? Can I apply them to equations and not just expressions? Thank

[fricas-devel] an interesting bug, regarding sman (low level C stuff)

2020-07-26 Thread oldk1331
Hi all, Today suddenly I can't launch FriCAS, it shows "*** buffer overflow detected ***: terminated Aborted". After some debugging, I found that sman calls function "open_server" in sockio-c.c#929: strcpy(server[1].addr.u_addr.sa_data, name); "sa_data" is char[14], and "name" is