Re: [fricas-devel] Re: Announcement: jFriCAS 1.0.0

2020-08-02 Thread Roustam Shaitan
On Sunday, August 2, 2020 at 4:02:28 PM UTC+5, Ralf Hemmecke wrote: > > Hi Roustam, > Hi Ralf, Have you checked whether your versions are appropriate? > > https://jfricas.readthedocs.io/en/latest/install.html#check-requirements > Yes, I have. All was clear. I'm on Kubuntu 20.04, so

Re: [fricas-devel] Cannot solve a system of equations

2020-08-02 Thread Roustam Shaitan
What I really need is to solve the system for s but solve([%% 6, %% 7], [s]) also gave me an empty list. I only added t because in Mathematica Reduce[{%7, %8}, {s, t}] gives several solutions one of which contains the sought equation for s [but after replacing k with n*m beforehand]. [s,

[fricas-devel] Re: Announcement: jFriCAS 1.0.0

2020-08-02 Thread Roustam Shaitan
Thank you, guys. I think I would rather use jFriCAS than TexMacs. However, when I open a saved file I get an error: The error was: TypeError: ext.toLowerCase is not a function See the error console for details. [I 14:04:33.785 NotebookApp] Kernel started: 10c515df-148b-48f0-b4b0-

[fricas-devel] Re: Cannot solve a system of equations

2020-08-02 Thread Roustam Shaitan
I have also tried to apply k->n*m but it didn't help. Maybe I did it wrong. -- 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

Re: [fricas-devel] Cannot solve a system of equations

2020-08-02 Thread Roustam Shaitan
Here is what Wolfram Mathematica can solve: [1] m*a==-m*g-k*v[t] [2] %1/.a->v'[t] [3] DSolve[{%2, v[0]==V0}, {v[t]}, {t}] [4] Simplify[%3/.k->n*m] [5] (v[t]/.%4)[[1]] [6] Integrate[%5, {t, 0, t}] [7] (%6/.{V0->Vx, g->0})==s [8] (%6/.{V0->Vy})==0 [9] Reduce[{%7, %8}, {s, t}] [10]

Re: [fricas-devel] ReplaceAll in FriCAS

2020-08-01 Thread Roustam Shaitan
Thank you, Waldek, for the explanation. Your examples have shed light on the matter. -- 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] Re: Cannot solve a system of equations

2020-08-01 Thread Roustam Shaitan
Please find attached the input file. -- 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

[fricas-devel] Cannot solve a system of equations

2020-08-01 Thread Roustam Shaitan
Hello, Why do I get an empty list at (8) as a result of the following commands? (1) v:=operator 'v (2) m*a=-m*g-k*v(t) (3) subst(%% 2, a=D(v(t),t)) (4) solve(%% 3, v, t=0, [V0]) (5) integrate(%% 4, t=0..t) (6) subst(%% 5, [V0=Vx, g=0]) = s (7) subst(%% 5, V0=Vy) = 0 (8) solve([%% 6, %% 7], [s,

Re: [fricas-devel] ReplaceAll in FriCAS

2020-07-31 Thread Roustam Shaitan
What's the difference between subst(%% 2, a=differentiate(v(t),t)) and eval(%% 2, a=differentiate(v(t),t))? On Monday, July 27, 2020 at 12:06:59 AM UTC+5, Bill Page wrote: > > (3) -> subst(%% 2, a=differentiate(v(t),t)) > -- You received this message because you are subscribed to the Google

Re: [fricas-devel] ReplaceAll in FriCAS [SOLVED]

2020-07-27 Thread Roustam Shaitan
uation(Expression(Integer)) > > > On Sun, Jul 26, 2020 at 11:33 AM Roustam Shaitan > wrote: > >> 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=

[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

Re: [fricas-devel] Re: Cannot start FriCAS on Kubuntu [SOLVED]

2020-07-22 Thread Roustam Shaitan
On Wednesday, July 22, 2020 at 2:14:52 AM UTC+5, Kostas Oikonomou wrote: > > Yes. But TeXmacs has to be able to find Fricas in your PATH. > I added *PATH="$PATH:$HOME/FriCAS/bin/" *to* ~/.profile* and did a re-login. Now I can start a FriCAS session in TeXmacs. Thanks a lot for your help,

Re: [fricas-devel] Re: Cannot start FriCAS on Kubuntu

2020-07-21 Thread Roustam Shaitan
On Tuesday, July 21, 2020 at 6:46:34 PM UTC+5, Kostas Oikonomou wrote: > > That is the latest version. All you need to do is start a Fricas session. > >From Insert -> Session ? I do not have FriCAS in the list. Is it because I installed it in my home directory instead of /usr/local/ ? -- You

Re: [fricas-devel] Re: Cannot start FriCAS on Kubuntu

2020-07-20 Thread Roustam Shaitan
Thank you guys for your comments. On Sunday, July 19, 2020 at 9:58:54 PM UTC+5, Waldek Hebisch wrote: > > If you can get Texmax to work, it is true WYSIWYG formula editor. > The 'if you can get to work' qualification is because you need > reasonably new version of Texmax. Those versions depend

[fricas-devel] Re: Cannot start FriCAS on Kubuntu

2020-07-19 Thread Roustam Shaitan
Yes, *make install* did the trick. Thank you. As far as I understand, FriCAS does not have a WYSIWYG formula editor and viewer. Are there any free CASes with such a feature? Roustam -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra

Re: [fricas-devel] Cannot start FriCAS on Kubuntu

2020-07-19 Thread Roustam Shaitan
Hi Ralf, On Sunday, July 19, 2020 at 1:41:02 PM UTC+5, Ralf Hemmecke wrote: > > Oooops. I thought I had replaced all appearences of axiom by fricas. Can > you tell me on which page you found it? > Page 21 "1.1 Starting Up and Winding Down" This is certainly not the exact error message. Can you

[fricas-devel] Cannot start FriCAS on Kubuntu

2020-07-19 Thread Roustam Shaitan
Hello, I downloaded the source code from https://codeload.github.com/fricas/fricas/zip/master and built with *configure* and *make*. The book (https://fricas.github.io/book.pdf) says there should be the command *axiom* but I only found the file *fricas* in *target/x86_64-linux-gnu/bin/* .