Changes between Initial Version and Version 1 of Ticket #18832


Ignore:
Timestamp:
07/01/15 07:39:40 (6 years ago)
Author:
rws
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #18832 – Description

    initial v1  
    22
    33Part of this is already duplicated in `rings.arith` but the need arises with symbolic functions returning polynomials, e.g. #16813. At the moment `BuiltinFunction` simply converts the NNNS argument, losing the type information.
     4
     5Practically, `BuiltinFunction` should eval with `x`, try substitution, and throw an error if the substitution leads to unknown methods of the NNNS. I.e.
     6{{{
     7sage: elliptic_f (x, 1)
     8log(tan(1/4*pi + 1/2*x))
     9sage: elliptic_f (polygen(CC), 1)
     10...
     11AttributeError: 'Polynomial_generic_dense_field' object has no attribute 'log'
     12}}}