From ed4b2e746f7110e5c875fc33513426acdbc39e5d Mon Sep 17 00:00:00 2001 From: bnewbold Date: Mon, 4 May 2009 22:01:44 -0400 Subject: yay, play, fun --- final_project/work/disovery-mech-play.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 final_project/work/disovery-mech-play.scm (limited to 'final_project/work/disovery-mech-play.scm') diff --git a/final_project/work/disovery-mech-play.scm b/final_project/work/disovery-mech-play.scm new file mode 100644 index 0000000..c2d5013 --- /dev/null +++ b/final_project/work/disovery-mech-play.scm @@ -0,0 +1,24 @@ + +(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) -- cgit v1.2.3