summaryrefslogtreecommitdiffstats
path: root/final_project/work/discovery-mech-play.scm
blob: 7a5912511f9871369f63e076229de7758ac55b4d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
; this should all be running in scmutils
;
(load "discovery")

(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)