Should sagemath translate any special function name returned by external
CAS to sagemath known name?
Fricas returns result from integrate using special
function weierstrassPInverse. This is returned to sagemath as is. But
sagemath says this function is not defined when trying it inside sagemath.
=======================================
sage
│ SageMath version 10.2, Release Date: 2023-12-03 │
│ Using Python 3.11.6. Type "help()" for help. │
sage: var('x,a')
(x, a)
sage: anti=integrate(1/x^(1/2)/(-a^2*x^2+1)^(1/2),x,algorithm="fricas")
sage: anti
2*weierstrassPInverse(4/a^2, 0, x)/sqrt(-a^2)
sage: weierstrassPInverse(4/a^2, 0, x)
---------------------------------------------------------------------------
NameError Traceback (most recent call last)
Cell In [4], line 1
----> 1 weierstrassPInverse(Integer(4)/a**Integer(2), Integer(0), x)
NameError: name 'weierstrassPInverse' is not defined
========================
fricas
FriCAS Computer Algebra System
Version: FriCAS 1.3.10 built with sbcl 2.3.11
(1) -> integrate(1/x^(1/2)/(-a^2*x^2+1)^(1/2),x)
4
2 weierstrassPInverse(--,0,x)
2
a
(1) -----------------------------
+----+
| 2
\|- a
================================
Just wondering what is the protocol here. If sagemath does not know a
special function returned by external CAS, what should happen then?
--Nasser
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/889b6b67-23bf-4a30-89c8-50f98bf7e6d4n%40googlegroups.com.
