Action:
|
Prints out the laws string.
|
|
Filename:
|
kern/kern_scm/law_scm.cxx
|
|
Syntax:
|
(law:check law)
|
|
Arg Types:
|
law
|
law | string | real | position |
|
|
|
par-pos | gvector
|
|
Returns:
|
string
|
|
Description:
|
Prints out the laws string or a simplified laws string. Determines if a law is zero, constant, or linear. Tells what its takes and returns. Return the domain of the law.
|
|
|
law specifies a law.
|
|
Example:
|
; law:check
|
|
; Create a law.
|
|
(define law1 (law "x+x^2-cos(x)"))
|
|
;; law1
|
|
; Check the law.
|
|
(law:check law1)
|
|
; (X+X^2)-COS(X
|
|
; Simplified (X+X^2)-COS(X)
|
|
; Zero #f
|
|
; Constant #f
|
|
; Linear #f
|
|
; Takes 1 argument
|
|
; Returns 1 argument
|
|
; Dx = 1+2*X+SIN(X)
|
|
; Inverse of this law is not available.
|
|
; Numerator = (X+X^2)-COS(X)
|
|
; Denominator = 1
|
|
; The domain in variable 0 is infinite
|
|
;; #t
|