Walther Neuper <wneuper@ist.tugraz.at> [Fri, 10 May 2019 15:59:58 +0200] rev 59539
funpack: release sequence-relation between method's itm list and partial_function's arg list
Note: this release is required by additional formal arguments,
which capture new variables on rhs of partial_function.
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 08 May 2019 18:45:25 +0200] rev 59538
funpack: adapted Inverse_Z_Transform
Walther Neuper <wneuper@ist.tugraz.at> [Tue, 09 Apr 2019 11:38:26 +0200] rev 59537
improve handling of new variable on rhs; open problem with Inverse_Z_Transform
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 08 Apr 2019 16:10:07 +0200] rev 59536
tuned
Walther Neuper <wneuper@ist.tugraz.at> [Mon, 08 Apr 2019 14:52:17 +0200] rev 59535
no error in Test_Isac, first time since 4390c9bb03e9.
TODO: general solution for introducing variables --
-- thus 3 tests in inverse_z_transform still outcommented.
Walther Neuper <wneuper@ist.tugraz.at> [Fri, 05 Apr 2019 16:40:33 +0200] rev 59534
[-Test_Isac] test/../partial_fractions ok
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 04 Apr 2019 17:52:52 +0200] rev 59533
[-Test_Isac] code cleanup & tests from previous changeset
Walther Neuper <wneuper@ist.tugraz.at> [Thu, 04 Apr 2019 17:29:00 +0200] rev 59532
[-Test_Isac] adapt Rational polynomial to Const ("Partial_Fractions.AA", _)
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 27 Mar 2019 19:14:47 +0100] rev 59531
[-Test_Isac] adapt monom_of_term, add_fraction_p_ to AA
Walther Neuper <wneuper@ist.tugraz.at> [Wed, 27 Mar 2019 11:20:43 +0100] rev 59530
[-Test_Isac] adapt add_fractions_p to AA
note: test/../partial_fractions.sml, inverse_z_transform.sml are the only tests with errors