On Sat, Nov 10, 2018 at 12:02 PM Waldek Hebisch
wrote:
...
>
> I have now implemented the lift part of Davenport-Caruso method.
> You fetch code at:
>
> http://www.math.uni.wroc.pl/~hebisch/fricas/dcfact2.input
> http://www.math.uni.wroc.pl/~hebisch/fricas/nc_ini04c.input
>
> As before,
oldk1331 wrote:
>
> I think it's doable.
>
> First, by default, "limit" is for real expression (there are
> accompanying "complexLimit"), so it knows "sqrt(a)" is positive:
>
> (8) -> limit(sqrt(a)*x,x=%plusInfinity)
>
> (8) + infinity
>
> So in theory, it should also compute for
> >
> > OK, let's try with a being the imaginary unity.
> >
>
> I thought that by default FriCAS assumes that variables are real.
Users requently try to use complex expressions and when possible
FriCAS tries to accomodate this.
> I just found out that the exact same question was asked 7
One update to what I wrote before. In
J. P. Bell, A. Heinle, and V. Levandovskyy,
On Noncommutative Finite Factorization Domains,
Trans. Amer. Math. Soc. 369 (2017), 2675-2695
there is proof of finite number of factorizations.
I have now implemented the lift part of Davenport-Caruso method.
> Is there a way to force the evaluation of erf so that the function
> s+->C(11.0,s) can be plotted?
Does the following help?
The idea is that you specify the type so that the result is not
Expression(Float) (and must later be converted to (Double)Float, but
rather an element of DoubleFloat.
I got a problem trying to plot a function that uses the erf funtion. It
seems that the reason was that erf is sometimes left unevaluated by FriCAS
even in expressions that only involve erf and numbers.
To replicate one can define the expression like