3.23 Litfun

8.15.0.4

3.23 Litfun🔗

package: rktsicm

procedure
(*literal-reconstruction* ??? ...) → '???
  ??? : any?
(-> ??? ...) → '???
  ??? : any?
(Any ??? ...) → '???
  ??? : any?
(DOWN ??? ...) → '???
  ??? : any?
(DOWN* ??? ...) → '???
  ??? : any?
(Hamiltonian ??? ...) → '???
  ??? : any?
(Lagrangian ??? ...) → '???
  ??? : any?
(Real ??? ...) → '???
  ??? : any?
(UP ??? ...) → '???
  ??? : any?
(UP* ??? ...) → '???
  ??? : any?
(X ??? ...) → '???
  ??? : any?
(X* ??? ...) → '???
  ??? : any?
(^ ??? ...) → '???
  ??? : any?
(all-satisfied ??? ...) → '???
  ??? : any?
(default-function-type ??? ...) → '???
  ??? : any?
(f:domain-types ??? ...) → '???
  ??? : any?
(f:range-type ??? ...) → '???
  ??? : any?
(length->exact-arity ??? ...) → '???
  ??? : any?
(litderiv ??? ...) → '???
  ??? : any?
(literal-apply ??? ...) → '???
  ??? : any?
(literal-function ??? ...) → '???
  ??? : any?
(literal-function? ??? ...) → '???
  ??? : any?
(literal-partial ??? ...) → '???
  ??? : any?
(litfun ??? ...) → '???
  ??? : any?
(permissive-function-type ??? ...) → '???
  ??? : any?
(starify ??? ...) → '???
  ??? : any?
(type->arity ??? ...) → '???
  ??? : any?
(type->domain ??? ...) → '???
  ??? : any?
(type->domain-types ??? ...) → '???
  ??? : any?
(type->range-type ??? ...) → '???
  ??? : any?
(type-expression->predicate ??? ...) → '???
  ??? : any?
(type-expression->type-tag ??? ...) → '???
  ??? : any?
(typed-function ??? ...) → '???
  ??? : any?

contents ← prev up next →

1	Introduction
2	General
3	Kernel
4	Display

3.1	Generic
3.2	Mathutil
3.3	Numeric
3.4	Utils
3.5	Iterat
3.6	Express
3.7	Ghelper
3.8	Strutl
3.9	Extapply
3.10	Types
3.11	Modarith
3.12	Diff
3.13	Operator
3.14	Function
3.15	Numbers
3.16	Vectors
3.17	Structs
3.18	Matrices
3.19	Quaternion
3.20	Pseries
3.21	Numsymb
3.22	Heuristic
3.23	Litfun