It sort of helps in the sense that the hint about specifying the types is
useful.
I could not apply the solution directly because it lead to another very
surprising (to me) quirk of FriCAS: lack of a basic form of referential
transparency between variables and literals. Namely if you assign a
I had the code based on Bill Page and Waldek Hebisch suggestions that was
doing what I wanted but this last hint by Themos simplified it a lot. I
will put it here as Marduk seems to be doing a similar exercise in the "Simple
Gaussian integral fails thread".
The goal is to see if we can make
0.0239032946_195444183
Is there a way to force the evaluation of erf so that the function
s+->C(11.0,s) can be plotted?
Thanks,
Slawomir Kolodynski
--
You received this message because you are subscribed to the Google Groups
"FriCAS - computer algebra system" group.
To uns
Is there a way to export a TeXmacs file to the FriCAS .input file that can
be read by the )read command?
What I do now is in TeXmacs I do RightClick --> Session --> Clear All
fields, then File->Export/Verbatim, then manually edit the resulting file
to remove the FriiCAS session header at start
Thank you for looking into this.
>Instead, various routines analyze structure of expressions using lower
level operations.
Could you give some examples of those lower level operations? Pattern
matching and rewrite rules seem very useful to me , but I am ok with doing
lower level operations
Suppose I have an expression like *(y-m)*sqrt(x)/s* . What I would like to
do is to give a name *e* to the *sqrt(x)/s* part and do some kind of
transformation on this expression so that I get *(y-m)*e *or equivalent as
the result*. *To do that I define a rule
substE := rule
Thanks for the solution. It works for me.
> eval(e1, [name(pos)], [2], [(x : eI) : eI +-> x])
For the interested readers of this thread here is the documentation of the
last eval call:
eval: (%, List Symbol, List NonNegativeInteger, List % -> %) -> % if R has
Ring
eval(x, [s1, ..., sm],
I am trying to figure out a way to tell FriCAS that
limit(erf(sqrt(c)*x),x=%plusInfinity) is 1 (say, I know that c>0).
To do that I define a rule:
limerf := rule limit(erf(sqrt(c)*x),x=%plusInfinity) == 1
However, when I try to apply the rule:
limerf(limit(erf(sqrt(c)*x),x=%plusInfinity))
I
limit(erf(2*x+b),x=%plusInfinity) works fine, returning 1 as it should.
Similarly, limit(erf(-2*x+b),x=%plusInfinity) works.
However limit(erf(a*x+b),x=%plusInfinity) returns "failed", perhaps because
FriCAS does not know if a is positive or negative.
I tried to declare a:PositiveInteger, but
I am learning FriCAS so please excuse my basic questions and point me to
better place to ask them is such exists.
FriCAS is able to evaluate some integrals in terms of the Gauss error
function (erf). For example
(1/(sqrt(2*%pi)))*integrate(exp(-t^2/2),t=%minusInfinity..x)
returns an
Indeed, installing TEXmacs 1.99.7 fixed the problems.
Thank you all for help
Slawomir
On Monday, July 16, 2018 at 3:59:28 AM UTC+2, oldk1331 wrote:
>
> Hi Slawomir,
>
> TeXmacs 1.0.7.18 was released 5 years ago, you should try more recent
> version, like 1.99.7.
>
--
You received this
> Where is the fricas plugin installed?
I found it in /usr/share/texmacs/TeXmacs/plugins/fricas
$> /usr/share/texmacs/TeXmacs/plugins/fricas $ ls
doc progs
> 2. Does $ fricas -texmacs work?
I am not sure. FriCAS seems to start, the output looks as follows
$> fricas -texmacs
Checking for
I am trying to use GNU TEXmacs as interface to Fricas. I have installed
Fricas 1.3.3 by downloading the tar with binaries and the fricas script is
on PATH so I can start fricas from shell by typing "fricas". I also have
Texmacs 1.0.7.18 installed from Linux Mint repositories. I assume the
13 matches
Mail list logo