(load "discovery")
;Loading "discovery.scm"... done
;Value: discover:named-opers

(discover:named-opers)
;Value: (+ one-like cos dot-product expt one? * gcd partial-derivative acos exp atan2 cosh imag-part one = conjugate zero? / zero-like abs sinh identity? sin asin derivative angle magnitude inexact? type apply identity make-polar arity real-part - invert negate identity-like trace determinant sqrt zero log square make-rectangular type-predicate atan1)

(discover:named-opers-for 1)
;Value: (one-like cos one? acos exp cosh imag-part conjugate zero? zero-like abs sinh identity? sin asin angle magnitude inexact? type arity real-part invert negate identity-like trace determinant sqrt log square type-predicate atan1)

(discover:named-opers-for (matrix-by-rows '(1 0 0)
					  '(0 1 0)
					  '(0 0 1)))
;Value: (one-like cos exp conjugate zero? zero-like identity? sin inexact? type arity invert negate identity-like trace determinant type-predicate)

(discover:named-opers-for 1 2)
;Value: (+ dot-product expt * gcd atan2 = / apply make-polar - make-rectangular)

(discover:named-opers-for 'a)
;Value: (one-like cos acos exp cosh imag-part conjugate zero-like sinh sin asin angle magnitude inexact? type arity real-part invert negate identity-like sqrt log type-predicate atan1)

(discover:named-opers-for (compose sin cos))
;Value: (one-like cos acos exp cosh imag-part zero-like abs sinh sin asin angle magnitude inexact? type arity real-part invert negate identity-like sqrt log square type-predicate atan1)