test/Tools/isac/Knowledge/partial_fractions.sml
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 06 Oct 2011 17:43:00 +0200
branchdecompose-isar
changeset 42301 93083d4e05d8
parent 42289 801b5f1154bf
child 42305 3ff2cf70f845
permissions -rw-r--r--
intermed. Build_Inverse_Z_Transform:

got ambiguous parse trees from get_denominator in 2 theories ?!?
thus get_denominator shifted to Rational.thy
ATTENTION: "Rational.is'_ratpolyexp" has '
but get_denominator only works without '
neuper@42289
     1
(* Title:  partial fraction decomposition
neuper@42289
     2
   Author: Jan Rocnik
neuper@42289
     3
   (c) due to copyright terms
neuper@42289
     4
*)
neuper@42289
     5
neuper@42289
     6
"--------------------------------------------------------";
neuper@42289
     7
"table of contents --------------------------------------";
neuper@42289
     8
"--------------------------------------------------------";
neuper@42289
     9
"----------- get_denominator ----------------------------";
neuper@42289
    10
"--------------------------------------------------------";
neuper@42289
    11
"--------------------------------------------------------";
neuper@42289
    12
"--------------------------------------------------------";
neuper@42289
    13
neuper@42289
    14
neuper@42289
    15