Opened 7 years ago

Last modified 6 years ago

#18832 closed defect

non-numeric non-symbolic BuiltinFunction arguments — at Initial Version

Reported by: rws Owned by:
Priority: major Milestone: sage-duplicate/invalid/wontfix
Component: symbolics Keywords:
Cc: jdemeyer Merged in:
Authors: Reviewers:
Report Upstream: N/A Work issues:
Branch: Commit:
Dependencies: Stopgaps:

Status badges

Description

Symbolic expressions can be seen as programs for applying functions to numerics and symbolics. Non-numeric non-symbolics (NNNS, most of the rest of Sage) are usually not handled by symbolic functions, although they often allow the same operations and many of the functions. The manual workaround is to evaluate the expression "on x" and then to substitute x with the respective NNNS. We propose that BuiltinFunction automates this process.

Part 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.

Change History (0)

Note: See TracTickets for help on using tickets.