479 val SOME t = parseNEW ctxt "filterExpression (X = 3 / (z - 1/4 + -1/8 * (1/(z::real))))"; |
479 val SOME t = parseNEW ctxt "filterExpression (X = 3 / (z - 1/4 + -1/8 * (1/(z::real))))"; |
480 val SOME t = parseNEW ctxt "stepResponse (x[n::real]::bool)"; |
480 val SOME t = parseNEW ctxt "stepResponse (x[n::real]::bool)"; |
481 |
481 |
482 val fmz = ["filterExpression (X = 3 / (z - 1/4 + -1/8 * (1/(z::real))))", |
482 val fmz = ["filterExpression (X = 3 / (z - 1/4 + -1/8 * (1/(z::real))))", |
483 "stepResponse (x[n::real]::bool)"]; |
483 "stepResponse (x[n::real]::bool)"]; |
484 val (dI,pI,mI) = ("Isac", ["inverse", "Z_Transform", "SignalProcessing"], |
484 val (dI,pI,mI) = ("Isac", ["Inverse", "Z_Transform", "SignalProcessing"], |
485 ["SignalProcessing","Z_Transform","inverse"]); |
485 ["SignalProcessing","Z_Transform","Inverse"]); |
486 |
486 |
487 val (p,_,fb,nxt,_,pt) = CalcTreeTEST [(fmz, (dI,pI,mI))]; |
487 val (p,_,fb,nxt,_,pt) = CalcTreeTEST [(fmz, (dI,pI,mI))]; |
488 (*WAS ME_Isa: thy 'Build_Inverse_Z_Transform' not in system*) |
488 (*WAS ME_Isa: thy 'Build_Inverse_Z_Transform' not in system*) |
489 |
489 |
490 "~~~~~ T fun CalcTreeTEST, args:"; val [(fmz, sp):fmz] = [(fmz, (dI,pI,mI))]; |
490 "~~~~~ T fun CalcTreeTEST, args:"; val [(fmz, sp):fmz] = [(fmz, (dI,pI,mI))]; |