law:check
List of: Scheme Extensions
Subjects: Debugging, Laws
Contents: Kernel

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
PDF/KERN/14SCI.PDF
HTM/DATA/KERN/KERN/14SCI/0004.HTM