Implement Expression.has_function(...)

[rwst]

Very useful would be to support list arguments like ex.has_function([sin,cos,tan], all=True) and a fast implementation in Pynac. At the moment the functionality can be had by multiple calls to has(...) with wildcard expression (not function) arguments.

CC: @fchapoton

Component: symbolics

Author: Ralf Stephan

Branch/Commit: u/dimpase/rebased/rws/24283 @ 602a5bc

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/24283

[rwst]

Dependencies: #24222

[rwst]

Branch: u/rws/implement_expression_has_function_____

[rwst]

Changed dependencies from #24222 to pynac-0.7.14

[rwst]

Commit: 68b6a58

[rwst]

Author: Ralf Stephan

[rwst]

New commits:

dcce91f	Pynac interface
68b6a58	24283: Implement Expression.has_function(...)

[rwst]

Description changed:

--- 
+++ 
@@ -1,3 +1,2 @@
 Very useful would be to support list arguments like `ex.has_function([sin,cos,tan], all=True)` and a fast implementation in Pynac. At the moment the functionality can be had by multiple calls to `has(...)` with wildcard expression (not function) arguments.
 
-https://github.com/pynac/pynac/issues/290

[rwst]

Changed branch from u/rws/implement_expression_has_function_____ to u/rws/24283

[rwst]

Changed dependencies from pynac-0.7.14 to #24329

[rwst]

Changed commit from 68b6a58 to 6b6e2f7

[rwst]

New commits:

6b6e2f7

24283: Implement Expression.has_function(...)