Yes, the current strategy is that any expression in FriCAS that sage does not know is turned into a symbolic function with the same name:
try: fun = symbol_table["fricas"][(fun_string, len(args))] except KeyError: try: # to handle the case of "construct" fun = symbol_table["fricas"][(fun_string, -1)] except KeyError: fun = function(fun_string) On Friday 19 January 2024 at 14:29:10 UTC+1 Nasser M. Abbasi wrote: > 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/69ea8719-d561-4608-9625-18849893b0e6n%40googlegroups.com.