mpl 0.0.0-akku.146.3469e3c

Computer Algebra and Symbolic Computation

$ akku update
$ akku install mpl
$ .akku/env
Authors

Eduardo Cavazos

Uploaded to Akku by Göran Weinholt

Homepage

Information missing.

License

Apache-2.0

Dependencies

^0.0.0-akku
^0.0.0-akku

Source code

https://github.com/dharmatech/mpl git
3469e3cf97345e207dc6f3b085b08950d8ac15fe

Package contents

  • (mpl alg-polynomial-division) R6
    • → alg-mult-inverse alg-divide alg-coeff-simp alg-polynomial-division alg-quotient alg-remainder
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl util)
    • ← (mpl degree-gpe)
    • ← (mpl leading-coefficient-gpe)
    • ← (mpl collect-terms)
    • ← (mpl algebraic-expand)
    • ← (mpl polynomial-division)
    • ← (mpl extended-euclidean-algorithm)
  • (mpl alg-polynomial-gcd) R6
    • → alg-monic alg-polynomial-gcd
    • ← (mpl rnrs-sans)
    • ← (mpl leading-coefficient-gpe)
    • ← (mpl alg-polynomial-division)
  • (mpl alge) R6
    • → alge
    • ← (rnrs) R6
    • ← (dharmalab infix alg)
    • ← (mpl automatic-simplify)
  • (mpl algebraic-expand) R6
    • → algebraic-expand
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl automatic-simplify)
    • ← (mpl expand-product)
    • ← (mpl expand-power)
  • (mpl all) R6
    • → + - * / ^ sqrt vars alge substitute collect-terms algebraic-expand expand-exp expand-trig contract-exp contract-trig derivative polynomial-division polynomial-expansion
    • ← (mpl misc)
    • ← (mpl contains)
    • ← (mpl sum-product-power)
    • ← (mpl sub)
    • ← (mpl div)
    • ← (mpl exp)
    • ← (mpl factorial)
    • ← (mpl numerator)
    • ← (mpl denominator)
    • ← (mpl sqrt)
    • ← (mpl sin)
    • ← (mpl cos)
    • ← (mpl tan)
    • ← (mpl automatic-simplify)
    • ← (mpl alge)
    • ← (mpl substitute)
    • ← (mpl monomial-gpe)
    • ← (mpl polynomial-gpe)
    • ← (mpl variables)
    • ← (mpl degree-gpe)
    • ← (mpl coefficient-gpe)
    • ← (mpl leading-coefficient-gpe)
    • ← (mpl coeff-var-monomial)
    • ← (mpl collect-terms)
    • ← (mpl algebraic-expand)
    • ← (mpl expand-main-op)
    • ← (mpl rational-gre)
    • ← (mpl rational-variables)
    • ← (mpl rationalize-expression)
    • ← (mpl rational-expand)
    • ← (mpl expand-exp)
    • ← (mpl expand-trig)
    • ← (mpl contract-exp)
    • ← (mpl separate-sin-cos)
    • ← (mpl contract-trig)
    • ← (mpl trig-substitute)
    • ← (mpl simplify-trig)
    • ← (mpl derivative)
    • ← (mpl polynomial-division)
    • ← (mpl polynomial-expansion)
    • ← (mpl polynomial-gcd)
    • ← (mpl extended-euclidean-algorithm)
    • ← (mpl alg-polynomial-division)
    • ← (mpl alg-polynomial-gcd)
    • ← (mpl partial-fraction-1)
  • (mpl arithmetic) R6
    • → + - * / ^
    • ← (mpl sum-product-power)
    • ← (mpl sub)
    • ← (mpl div)
  • (mpl automatic-simplify) R6
    • → automatic-simplify
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl sum-product-power)
    • ← (mpl sub)
    • ← (mpl div)
    • ← (mpl factorial)
    • ← (mpl exp)
    • ← (mpl log)
    • ← (mpl sin)
    • ← (mpl cos)
    • ← (mpl tan)
    • ← (mpl sqrt)
  • (mpl coeff-var-monomial) R6
    • → coeff-var-monomial
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl contains)
  • (mpl coefficient-gpe) R6
    • → coefficient-gpe coefficient-monomial-gpe
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl contains)
  • (mpl collect-terms) R6
    • → collect-terms
    • ← (mpl rnrs-sans)
    • ← (surfage s1 lists)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl coeff-var-monomial)
  • (mpl contains) R6
    • → contains? this-contains? contains-this? free? is-free? free-of?
    • ← (rnrs) R6
    • ← (surfage s1 lists)
  • (mpl contract-exp) R6
    • → contract-exp
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl exp)
    • ← (mpl expand-main-op)
  • (mpl contract-trig) R6
    • → contract-trig contract-trig-rules contract-trig-power contract-trig-product
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl sin)
    • ← (mpl cos)
    • ← (mpl automatic-simplify)
    • ← (mpl separate-sin-cos)
    • ← (mpl expand-main-op)
    • ← (mpl algebraic-expand)
  • (mpl cos) R6
    • → cos
    • ← (mpl rnrs-sans)
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl arithmetic)
    • ← (mpl numerator)
    • ← (mpl denominator)
    • ← (mpl sqrt)
    • ← (mpl misc)
  • (mpl degree-gpe) R6
    • → degree-gpe
    • ← (rnrs) R6
    • ← (surfage s1 lists)
    • ← (mpl misc)
    • ← (mpl contains)
  • (mpl denominator) R6
    • → denominator
    • ← (mpl rnrs-sans)
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl arithmetic)
  • (mpl derivative) R6
    • → derivative
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl sin)
    • ← (mpl cos)
    • ← (mpl tan)
    • ← (mpl log)
    • ← (mpl contains)
  • (mpl div) R6
    • → / simplify-quotient
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl sum-product-power)
  • (mpl exp) R6
    • → exp
    • ← (rnrs) R6
  • (mpl expand-exp) R6
    • → expand-exp
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl exp)
    • ← (mpl misc)
  • (mpl expand-main-op) R6
    • → expand-main-op
    • ← (mpl rnrs-sans)
    • ← (mpl match)
    • ← (mpl arithmetic)
    • ← (mpl misc)
    • ← (mpl expand-product)
    • ← (mpl expand-power)
  • (mpl expand-power) R6
    • → expand-power
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl factorial)
    • ← (mpl expand-product)
  • (mpl expand-product) R6
    • → expand-product
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
  • (mpl expand-trig) R6
    • → expand-trig
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl sin)
    • ← (mpl cos)
    • ← (mpl expand-main-op)
  • (mpl extended-euclidean-algorithm) R6
    • → extended-euclidean-algorithm
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl leading-coefficient-gpe)
    • ← (mpl algebraic-expand)
    • ← (mpl polynomial-division)
  • (mpl factorial) R6
    • → ! simplify-factorial
    • ← (rnrs) R6
    • ← (mpl match)
  • (mpl leading-coefficient-gpe) R6
    • → leading-coefficient-gpe
    • ← (rnrs) R6
    • ← (mpl degree-gpe)
    • ← (mpl coefficient-gpe)
  • (mpl log) R6
    • → log
    • ← (rnrs) R6
    • ← (mpl misc)
  • (mpl match) R6
    • → match match-let match-let* match-letrec match-lambda match-lambda*
    • ← (rnrs) R6
    • ← (rnrs mutable-pairs) R6
  • (mpl misc) R6
    • → product? quotient? sum? difference? power? factorial? function? exp? sin? cos? tan? vars base exponent inexact-number?
    • ← (rnrs) R6
    • ← (mpl match)
  • (mpl monomial-gpe) R6
    • → monomial-gpe? monomial-gpe-in? is-monomial-gpe?
    • ← (rnrs) R6
    • ← (surfage s1 lists)
    • ← (mpl misc)
    • ← (mpl contains)
  • (mpl numerator) R6
    • → numerator
    • ← (mpl rnrs-sans)
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl arithmetic)
  • (mpl order-relation) R6
    • → base exponent term const order-relation
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl misc)
  • (mpl partial-fraction-1) R6
    • → partial-fraction-1
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl algebraic-expand)
    • ← (mpl polynomial-division)
    • ← (mpl extended-euclidean-algorithm)
  • (mpl polynomial-division) R6
    • → polynomial-division quotient remainder
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl util)
    • ← (mpl degree-gpe)
    • ← (mpl algebraic-expand)
    • ← (mpl leading-coefficient-gpe)
  • (mpl polynomial-expansion) R6
    • → polynomial-expansion
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl algebraic-expand)
    • ← (mpl polynomial-division)
  • (mpl polynomial-gcd) R6
    • → polynomial-gcd
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl algebraic-expand)
    • ← (mpl leading-coefficient-gpe)
    • ← (mpl polynomial-division)
  • (mpl polynomial-gpe) R6
    • → polynomial-gpe? polynomial-gpe-in? is-polynomial-gpe?
    • ← (rnrs) R6
    • ← (surfage s1 lists)
    • ← (mpl misc)
    • ← (mpl monomial-gpe)
  • (mpl rational-expand) R6
    • → rational-expand
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl algebraic-expand)
    • ← (mpl numerator)
    • ← (mpl denominator)
    • ← (mpl rational-gre)
    • ← (mpl rationalize-expression)
  • (mpl rational-gre) R6
    • → rational-gre?
    • ← (rnrs) R6
    • ← (mpl polynomial-gpe)
    • ← (mpl numerator)
    • ← (mpl denominator)
  • (mpl rational-variables) R6
    • → rational-variables
    • ← (rnrs) R6
    • ← (surfage s1 lists)
    • ← (mpl variables)
    • ← (mpl numerator)
    • ← (mpl denominator)
  • (mpl rationalize-expression) R6
    • → rationalize-expression
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
    • ← (mpl numerator)
    • ← (mpl denominator)
  • (mpl rnrs-base) R6
    • → define define-syntax quote lambda if set! cond case and or let let* letrec letrec* let-values let*-values begin quasiquote unquote unquote-splicing let-syntax letrec-syntax syntax-rules identifier-syntax assert else => ... _ eq? eqv? equal? procedure? number? complex? real? rational? integer? real-valued? rational-valued? integer-valued? exact? inexact? inexact exact = < > <= >= zero? positive? negative? odd? even? finite? infinite? nan? max min + * - / abs div-and-mod div mod div0-and-mod0 div0 mod0 gcd lcm numerator denominator floor ceiling truncate round rationalize exp log sin cos tan asin acos atan sqrt exact-integer-sqrt expt make-rectangular make-polar real-part imag-part magnitude angle number->string string->number not boolean? boolean=? pair? cons car cdr caar cadr cdar cddr caaar caadr cadar caddr cdaar cdadr cddar cdddr caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr null? list? list length append reverse list-tail list-ref map for-each symbol? symbol->string string->symbol symbol=? char? char->integer integer->char char=? char<? char>? char<=? char>=? string? make-string string string-length string-ref string=? string<? string>? string<=? string>=? substring string-append string->list list->string string-copy string-for-each vector? make-vector vector vector-length vector-ref vector-set! vector->list list->vector vector-fill! vector-map vector-for-each error assertion-violation apply call-with-current-continuation call/cc values call-with-values dynamic-wind
    • ← (rnrs base) R6
    • ← (mpl automatic-simplification)
  • (mpl rnrs-sans) R6
    • → define define-syntax quote lambda if set! cond case and or let let* letrec letrec* let-values let*-values begin quasiquote unquote unquote-splicing let-syntax letrec-syntax syntax-rules identifier-syntax assert else => ... _ eq? eqv? equal? procedure? number? complex? real? rational? integer? real-valued? rational-valued? integer-valued? exact? inexact? inexact exact = < > <= >= zero? positive? negative? odd? even? finite? infinite? nan? max min abs div-and-mod div mod div0-and-mod0 div0 mod0 gcd lcm floor ceiling truncate round rationalize asin acos atan exact-integer-sqrt expt make-rectangular make-polar real-part imag-part magnitude angle number->string string->number not boolean? boolean=? pair? cons car cdr caar cadr cdar cddr caaar caadr cadar caddr cdaar cdadr cddar cdddr caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr null? list? list length append reverse list-tail list-ref map for-each symbol? symbol->string string->symbol symbol=? char? char->integer integer->char char=? char<? char>? char<=? char>=? string? make-string string string-length string-ref string=? string<? string>? string<=? string>=? substring string-append string->list list->string string-copy string-for-each vector? make-vector vector vector-length vector-ref vector-set! vector->list list->vector vector-fill! vector-map vector-for-each error assertion-violation apply call-with-current-continuation call/cc values call-with-values dynamic-wind char-upcase char-downcase char-titlecase char-foldcase char-ci=? char-ci<? char-ci>? char-ci<=? char-ci>=? char-alphabetic? char-numeric? char-whitespace? char-upper-case? char-lower-case? char-title-case? char-general-category string-upcase string-downcase string-titlecase string-foldcase string-ci=? string-ci<? string-ci>? string-ci<=? string-ci>=? string-normalize-nfd string-normalize-nfkd string-normalize-nfc string-normalize-nfkc endianness native-endianness bytevector? make-bytevector bytevector-length bytevector=? bytevector-fill! bytevector-copy! bytevector-copy bytevector-u8-ref bytevector-s8-ref bytevector-u8-set! bytevector-s8-set! bytevector->u8-list u8-list->bytevector bytevector-u16-ref bytevector-s16-ref bytevector-u16-native-ref bytevector-s16-native-ref bytevector-u16-set! bytevector-s16-set! bytevector-u16-native-set! bytevector-s16-native-set! bytevector-u32-ref bytevector-s32-ref bytevector-u32-native-ref bytevector-s32-native-ref bytevector-u32-set! bytevector-s32-set! bytevector-u32-native-set! bytevector-s32-native-set! bytevector-u64-ref bytevector-s64-ref bytevector-u64-native-ref bytevector-s64-native-ref bytevector-u64-set! bytevector-s64-set! bytevector-u64-native-set! bytevector-s64-native-set! bytevector-ieee-single-ref bytevector-ieee-single-native-ref bytevector-ieee-single-set! bytevector-ieee-single-native-set! bytevector-ieee-double-ref bytevector-ieee-double-native-ref bytevector-ieee-double-set! bytevector-ieee-double-native-set! bytevector-uint-ref bytevector-sint-ref bytevector-uint-set! bytevector-sint-set! bytevector->uint-list bytevector->sint-list uint-list->bytevector sint-list->bytevector string->utf8 utf8->string string->utf16 utf16->string string->utf32 utf32->string find for-all exists filter partition fold-left fold-right remp remove remv remq memp member memv memq assp assoc assv assq cons* list-sort vector-sort vector-sort! when unless do case-lambda define-record-type record-type-descriptor record-constructor-descriptor fields mutable immutable parent protocol sealed opaque nongenerative parent-rtd make-record-type-descriptor record-type-descriptor? make-record-constructor-descriptor record-constructor record-predicate record-accessor record-mutator record? record-rtd record-type-name record-type-parent record-type-uid record-type-generative? record-type-sealed? record-type-opaque? record-type-field-names record-field-mutable? with-exception-handler guard raise raise-continuable &condition condition simple-conditions condition? condition-predicate condition-accessor define-condition-type &message make-message-condition message-condition? condition-message &warning make-warning warning? &serious make-serious-condition serious-condition? &error make-error error? &violation make-violation violation? &assertion make-assertion-violation assertion-violation? &irritants make-irritants-condition irritants-condition? condition-irritants &who make-who-condition who-condition? condition-who &non-continuable make-non-continuable-violation non-continuable-violation? &implementation-restriction make-implementation-restriction-violation implementation-restriction-violation? &lexical make-lexical-violation lexical-violation? &syntax make-syntax-violation syntax-violation? syntax-violation-form syntax-violation-subform &undefined make-undefined-violation undefined-violation? &i/o make-i/o-error i/o-error? &i/o-read make-i/o-read-error i/o-read-error? &i/o-write make-i/o-write-error i/o-write-error? &i/o-invalid-position make-i/o-invalid-position-error i/o-invalid-position-error? i/o-error-position &i/o-filename make-i/o-filename-error i/o-filename-error? i/o-error-filename &i/o-file-protection make-i/o-file-protection-error i/o-file-protection-error? &i/o-file-is-read-only make-i/o-file-is-read-only-error i/o-file-is-read-only-error? &i/o-file-already-exists make-i/o-file-already-exists-error i/o-file-already-exists-error? &i/o-file-does-not-exist make-i/o-file-does-not-exist-error i/o-file-does-not-exist-error? &i/o-port make-i/o-port-error i/o-port-error? i/o-error-port &i/o-decoding make-i/o-decoding-error i/o-decoding-error? &i/o-encoding make-i/o-encoding-error i/o-encoding-error? i/o-encoding-error-char file-options buffer-mode buffer-mode? utf-8-codec utf-16-codec latin-1-codec eol-style error-handling-mode make-transcoder transcoder-codec transcoder-eol-style transcoder-error-handling-mode native-transcoder native-eol-style bytevector->string string->bytevector eof-object eof-object? port? port-transcoder textual-port? binary-port? transcoded-port port-has-port-position? port-position port-has-set-port-position!? set-port-position! close-port call-with-port input-port? port-eof? open-file-input-port open-bytevector-input-port open-string-input-port standard-input-port current-input-port get-u8 lookahead-u8 get-bytevector-n get-bytevector-n! get-bytevector-some get-bytevector-all get-char lookahead-char get-string-n get-string-n! get-string-all get-line get-datum output-port? flush-output-port output-port-buffer-mode open-file-output-port open-bytevector-output-port call-with-bytevector-output-port open-string-output-port call-with-string-output-port standard-output-port standard-error-port current-output-port current-error-port put-u8 put-bytevector put-char put-string put-datum open-file-input/output-port make-custom-binary-input-port make-custom-textual-input-port make-custom-binary-output-port make-custom-textual-output-port make-custom-binary-input/output-port make-custom-textual-input/output-port call-with-input-file call-with-output-file with-input-from-file with-output-to-file open-input-file open-output-file close-input-port close-output-port read-char peek-char read write-char newline display write file-exists? delete-file make-enumeration enum-set-universe enum-set-indexer enum-set-constructor enum-set->list enum-set-member? enum-set-subset? enum-set=? enum-set-union enum-set-intersection enum-set-difference enum-set-complement enum-set-projection define-enumeration command-line exit fixnum? fixnum-width least-fixnum greatest-fixnum fx=? fx<? fx>? fx<=? fx>=? fxzero? fxpositive? fxnegative? fxodd? fxeven? fxmax fxmin fx+ fx* fx- fxdiv fxmod fxdiv-and-mod fxdiv0 fxmod0 fxdiv0-and-mod0 fx+/carry fx-/carry fx*/carry fxnot fxand fxior fxxor fxif fxbit-count fxlength fxfirst-bit-set fxbit-set? fxcopy-bit fxbit-field fxcopy-bit-field fxarithmetic-shift fxarithmetic-shift-left fxarithmetic-shift-right fxrotate-bit-field fxreverse-bit-field flonum? real->flonum fl=? fl<? fl>? fl<=? fl>=? flinteger? flzero? flpositive? flnegative? flodd? fleven? flfinite? flinfinite? flnan? flmax flmin fl+ fl* fl- fl/ fldiv-and-mod fldiv flmod fldiv0-and-mod0 fldiv0 flmod0 flnumerator fldenominator flfloor flceiling fltruncate flround flabs flexpt flsqrt flexp fllog flsin flcos fltan flasin flacos flatan fixnum->flonum &no-infinities make-no-infinities-violation no-infinities-violation? &no-nans make-no-nans-violation no-nans-violation? bitwise-not bitwise-and bitwise-ior bitwise-xor bitwise-if bitwise-bit-count bitwise-length bitwise-first-bit-set bitwise-bit-set? bitwise-copy-bit bitwise-bit-field bitwise-copy-bit-field bitwise-arithmetic-shift bitwise-arithmetic-shift-left bitwise-arithmetic-shift-right bitwise-rotate-bit-field bitwise-reverse-bit-field syntax-case syntax with-syntax make-variable-transformer identifier? bound-identifier=? free-identifier=? datum->syntax syntax->datum generate-temporaries quasisyntax unsyntax unsyntax-splicing syntax-violation make-eq-hashtable make-eqv-hashtable make-hashtable hashtable? hashtable-size hashtable-ref hashtable-set! hashtable-delete! hashtable-contains? hashtable-update! hashtable-copy hashtable-clear! hashtable-keys hashtable-entries hashtable-equivalence-function hashtable-hash-function hashtable-mutable? equal-hash string-hash string-ci-hash symbol-hash
    • ← (rnrs) R6
  • (mpl rnrs) R6
    • → ^ * + / - ! exp define define-syntax quote lambda if set! cond case and or let let* letrec letrec* let-values let*-values begin quasiquote unquote unquote-splicing let-syntax letrec-syntax syntax-rules identifier-syntax assert else => ... _ eq? eqv? equal? procedure? number? complex? real? rational? integer? real-valued? rational-valued? integer-valued? exact? inexact? inexact exact = < > <= >= zero? positive? negative? odd? even? finite? infinite? nan? max min abs div-and-mod div mod div0-and-mod0 div0 mod0 gcd lcm numerator denominator floor ceiling truncate round rationalize log tan asin acos atan sqrt exact-integer-sqrt expt make-rectangular make-polar real-part imag-part magnitude angle number->string string->number not boolean? boolean=? pair? cons car cdr caar cadr cdar cddr caaar caadr cadar caddr cdaar cdadr cddar cdddr caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr null? list? list length append reverse list-tail list-ref map for-each symbol? symbol->string string->symbol symbol=? char? char->integer integer->char char=? char<? char>? char<=? char>=? string? make-string string string-length string-ref string=? string<? string>? string<=? string>=? substring string-append string->list list->string string-copy string-for-each vector? make-vector vector vector-length vector-ref vector-set! vector->list list->vector vector-fill! vector-map vector-for-each error assertion-violation apply call-with-current-continuation call/cc values call-with-values dynamic-wind char-upcase char-downcase char-titlecase char-foldcase char-ci=? char-ci<? char-ci>? char-ci<=? char-ci>=? char-alphabetic? char-numeric? char-whitespace? char-upper-case? char-lower-case? char-title-case? char-general-category string-upcase string-downcase string-titlecase string-foldcase string-ci=? string-ci<? string-ci>? string-ci<=? string-ci>=? string-normalize-nfd string-normalize-nfkd string-normalize-nfc string-normalize-nfkc endianness native-endianness bytevector? make-bytevector bytevector-length bytevector=? bytevector-fill! bytevector-copy! bytevector-copy bytevector-u8-ref bytevector-s8-ref bytevector-u8-set! bytevector-s8-set! bytevector->u8-list u8-list->bytevector bytevector-u16-ref bytevector-s16-ref bytevector-u16-native-ref bytevector-s16-native-ref bytevector-u16-set! bytevector-s16-set! bytevector-u16-native-set! bytevector-s16-native-set! bytevector-u32-ref bytevector-s32-ref bytevector-u32-native-ref bytevector-s32-native-ref bytevector-u32-set! bytevector-s32-set! bytevector-u32-native-set! bytevector-s32-native-set! bytevector-u64-ref bytevector-s64-ref bytevector-u64-native-ref bytevector-s64-native-ref bytevector-u64-set! bytevector-s64-set! bytevector-u64-native-set! bytevector-s64-native-set! bytevector-ieee-single-ref bytevector-ieee-single-native-ref bytevector-ieee-single-set! bytevector-ieee-single-native-set! bytevector-ieee-double-ref bytevector-ieee-double-native-ref bytevector-ieee-double-set! bytevector-ieee-double-native-set! bytevector-uint-ref bytevector-sint-ref bytevector-uint-set! bytevector-sint-set! bytevector->uint-list bytevector->sint-list uint-list->bytevector sint-list->bytevector string->utf8 utf8->string string->utf16 utf16->string string->utf32 utf32->string find for-all exists filter partition fold-left fold-right remp remove remv remq memp member memv memq assp assoc assv assq cons* list-sort vector-sort vector-sort! when unless do case-lambda define-record-type record-type-descriptor record-constructor-descriptor fields mutable immutable parent protocol sealed opaque nongenerative parent-rtd make-record-type-descriptor record-type-descriptor? make-record-constructor-descriptor record-constructor record-predicate record-accessor record-mutator record? record-rtd record-type-name record-type-parent record-type-uid record-type-generative? record-type-sealed? record-type-opaque? record-type-field-names record-field-mutable? with-exception-handler guard raise raise-continuable &condition condition simple-conditions condition? condition-predicate condition-accessor define-condition-type &message make-message-condition message-condition? condition-message &warning make-warning warning? &serious make-serious-condition serious-condition? &error make-error error? &violation make-violation violation? &assertion make-assertion-violation assertion-violation? &irritants make-irritants-condition irritants-condition? condition-irritants &who make-who-condition who-condition? condition-who &non-continuable make-non-continuable-violation non-continuable-violation? &implementation-restriction make-implementation-restriction-violation implementation-restriction-violation? &lexical make-lexical-violation lexical-violation? &syntax make-syntax-violation syntax-violation? syntax-violation-form syntax-violation-subform &undefined make-undefined-violation undefined-violation? &i/o make-i/o-error i/o-error? &i/o-read make-i/o-read-error i/o-read-error? &i/o-write make-i/o-write-error i/o-write-error? &i/o-invalid-position make-i/o-invalid-position-error i/o-invalid-position-error? i/o-error-position &i/o-filename make-i/o-filename-error i/o-filename-error? i/o-error-filename &i/o-file-protection make-i/o-file-protection-error i/o-file-protection-error? &i/o-file-is-read-only make-i/o-file-is-read-only-error i/o-file-is-read-only-error? &i/o-file-already-exists make-i/o-file-already-exists-error i/o-file-already-exists-error? &i/o-file-does-not-exist make-i/o-file-does-not-exist-error i/o-file-does-not-exist-error? &i/o-port make-i/o-port-error i/o-port-error? i/o-error-port &i/o-decoding make-i/o-decoding-error i/o-decoding-error? &i/o-encoding make-i/o-encoding-error i/o-encoding-error? i/o-encoding-error-char file-options buffer-mode buffer-mode? utf-8-codec utf-16-codec latin-1-codec eol-style error-handling-mode make-transcoder transcoder-codec transcoder-eol-style transcoder-error-handling-mode native-transcoder native-eol-style bytevector->string string->bytevector eof-object eof-object? port? port-transcoder textual-port? binary-port? transcoded-port port-has-port-position? port-position port-has-set-port-position!? set-port-position! close-port call-with-port input-port? port-eof? open-file-input-port open-bytevector-input-port open-string-input-port standard-input-port current-input-port get-u8 lookahead-u8 get-bytevector-n get-bytevector-n! get-bytevector-some get-bytevector-all get-char lookahead-char get-string-n get-string-n! get-string-all get-line get-datum output-port? flush-output-port output-port-buffer-mode open-file-output-port open-bytevector-output-port call-with-bytevector-output-port open-string-output-port call-with-string-output-port standard-output-port standard-error-port current-output-port current-error-port put-u8 put-bytevector put-char put-string put-datum open-file-input/output-port make-custom-binary-input-port make-custom-textual-input-port make-custom-binary-output-port make-custom-textual-output-port make-custom-binary-input/output-port make-custom-textual-input/output-port call-with-input-file call-with-output-file with-input-from-file with-output-to-file open-input-file open-output-file close-input-port close-output-port read-char peek-char read write-char newline display write file-exists? delete-file make-enumeration enum-set-universe enum-set-indexer enum-set-constructor enum-set->list enum-set-member? enum-set-subset? enum-set=? enum-set-union enum-set-intersection enum-set-difference enum-set-complement enum-set-projection define-enumeration command-line exit fixnum? fixnum-width least-fixnum greatest-fixnum fx=? fx<? fx>? fx<=? fx>=? fxzero? fxpositive? fxnegative? fxodd? fxeven? fxmax fxmin fx+ fx* fx- fxdiv fxmod fxdiv-and-mod fxdiv0 fxmod0 fxdiv0-and-mod0 fx+/carry fx-/carry fx*/carry fxnot fxand fxior fxxor fxif fxbit-count fxlength fxfirst-bit-set fxbit-set? fxcopy-bit fxbit-field fxcopy-bit-field fxarithmetic-shift fxarithmetic-shift-left fxarithmetic-shift-right fxrotate-bit-field fxreverse-bit-field flonum? real->flonum fl=? fl<? fl>? fl<=? fl>=? flinteger? flzero? flpositive? flnegative? flodd? fleven? flfinite? flinfinite? flnan? flmax flmin fl+ fl* fl- fl/ fldiv-and-mod fldiv flmod fldiv0-and-mod0 fldiv0 flmod0 flnumerator fldenominator flfloor flceiling fltruncate flround flabs flexpt flsqrt flexp fllog flsin flcos fltan flasin flacos flatan fixnum->flonum &no-infinities make-no-infinities-violation no-infinities-violation? &no-nans make-no-nans-violation no-nans-violation? bitwise-not bitwise-and bitwise-ior bitwise-xor bitwise-if bitwise-bit-count bitwise-length bitwise-first-bit-set bitwise-bit-set? bitwise-copy-bit bitwise-bit-field bitwise-copy-bit-field bitwise-arithmetic-shift bitwise-arithmetic-shift-left bitwise-arithmetic-shift-right bitwise-rotate-bit-field bitwise-reverse-bit-field syntax-case syntax with-syntax make-variable-transformer identifier? bound-identifier=? free-identifier=? datum->syntax syntax->datum generate-temporaries quasisyntax unsyntax unsyntax-splicing syntax-violation make-eq-hashtable make-eqv-hashtable make-hashtable hashtable? hashtable-size hashtable-ref hashtable-set! hashtable-delete! hashtable-contains? hashtable-update! hashtable-copy hashtable-clear! hashtable-keys hashtable-entries hashtable-equivalence-function hashtable-hash-function hashtable-mutable? equal-hash string-hash string-ci-hash symbol-hash
    • ← (rnrs) R6
    • ← (mpl automatic-simplification)
  • (mpl separate-sin-cos) R6
    • → separate-sin-cos
    • ← (mpl rnrs-sans)
    • ← (mpl misc)
    • ← (mpl arithmetic)
  • (mpl simplify-trig) R6
    • → simplify-trig
    • ← (mpl rnrs-sans)
    • ← (mpl arithmetic)
    • ← (mpl numerator)
    • ← (mpl denominator)
    • ← (mpl rationalize-expression)
    • ← (mpl expand-trig)
    • ← (mpl contract-trig)
    • ← (mpl trig-substitute)
    • ← (mpl algebraic-expand)
  • (mpl sin) R6
    • → sin
    • ← (mpl rnrs-sans)
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl arithmetic)
    • ← (mpl numerator)
    • ← (mpl denominator)
    • ← (mpl sqrt)
    • ← (mpl misc)
  • (mpl sqrt) R6
    • → sqrt
    • ← (mpl rnrs-sans)
    • ← (rnrs) R6
    • ← (mpl arithmetic)
  • (mpl sub) R6
    • → - simplify-difference
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl sum-product-power)
  • (mpl substitute) R6
    • → substitute substitute-this substitute-in sequential-substitute concurrent-substitute
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (mpl automatic-simplify)
  • (mpl sum-product-power) R6
    • → + * ^ simplify-sum simplify-product simplify-power
    • ← (rnrs) R6
    • ← (mpl match)
    • ← (dharmalab misc equivalence)
    • ← (dharmalab misc list)
    • ← (mpl order-relation)
  • (mpl tan) R6
    • → tan
    • ← (mpl rnrs-sans)
    • ← (mpl match)
    • ← (mpl arithmetic)
  • (mpl test) R6 Test
    • → test
    • ← (mpl rnrs-sans)
    • ← (surfage s1 lists)
    • ← (surfage s64 testing)
    • ← (dharmalab infix alg)
    • ← (mpl misc)
    • ← (mpl contains)
    • ← (mpl sum-product-power)
    • ← (mpl sub)
    • ← (mpl div)
    • ← (mpl exp)
    • ← (mpl factorial)
    • ← (mpl numerator)
    • ← (mpl denominator)
    • ← (mpl sqrt)
    • ← (mpl sin)
    • ← (mpl cos)
    • ← (mpl tan)
    • ← (mpl automatic-simplify)
    • ← (mpl alge)
    • ← (mpl substitute)
    • ← (mpl monomial-gpe)
    • ← (mpl polynomial-gpe)
    • ← (mpl variables)
    • ← (mpl degree-gpe)
    • ← (mpl coefficient-gpe)
    • ← (mpl leading-coefficient-gpe)
    • ← (mpl coeff-var-monomial)
    • ← (mpl collect-terms)
    • ← (mpl algebraic-expand)
    • ← (mpl expand-main-op)
    • ← (mpl rational-gre)
    • ← (mpl rational-variables)
    • ← (mpl rationalize-expression)
    • ← (mpl rational-expand)
    • ← (mpl expand-exp)
    • ← (mpl expand-trig)
    • ← (mpl contract-exp)
    • ← (mpl separate-sin-cos)
    • ← (mpl contract-trig)
    • ← (mpl trig-substitute)
    • ← (mpl simplify-trig)
    • ← (mpl derivative)
    • ← (mpl polynomial-division)
    • ← (mpl polynomial-expansion)
    • ← (mpl polynomial-gcd)
    • ← (mpl extended-euclidean-algorithm)
    • ← (mpl alg-polynomial-division)
    • ← (mpl alg-polynomial-gcd)
    • ← (mpl partial-fraction-1)
  • (mpl trig-substitute) R6
    • → trig-substitute
    • ← (mpl rnrs-sans)
    • ← (mpl match)
    • ← (mpl arithmetic)
    • ← (mpl sin)
    • ← (mpl cos)
  • (mpl trig) R6
    • → sin cos tan
    • ← (mpl sin)
    • ← (mpl cos)
    • ← (mpl tan)
  • (mpl util) R6
    • → while
    • ← (rnrs) R6
  • (mpl variables) R6
    • → variables
    • ← (rnrs) R6
    • ← (mpl misc)
    • ← (surfage s1 lists)

Version history

  • 2018-04-07 ~ 0.0.0-akku.146.3469e3c