===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
grep rough audit - static analysis tool
v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-293- Leave<**** user rulebase>}(LocPredicate(Hold((b+c)*(d+1))) -> False, Local variables: exp -> (* (+ b c )(+ d 1 )), arg1 -> (* (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:294: Leave<builtin>}(`ApplyPure(predicate,{Hold(Hold(@body))}) -> False, Local variables: body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-295- Enter<builtin>{(`, `IsFunction(Hold(@body)));
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-296- Arg(parameter1 -> IsFunction(Hold(@body)));
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:297: Leave<builtin>}(`IsFunction(Hold(@body)) -> True, Local variables: body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-298- **** Rule in function (MacroSubstitute) matched: Precedence: 2, Parameters: body<hold=false>, Predicates: `IsFunction(Hold(@body)), Body: [ `ApplyPure("MacroMapArgs", {Hold(Hold(@body)), "MacroSubstitute"});]
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-330- Arg(parameter1 -> x);
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:331: Leave<builtin>}(IsBound(x) -> True, Local variables: y -> c, x -> b c, head -> (List + [BuiltinObject]), result -> False, tr -> (List (List (List + [BuiltinObject])m2 )), exp -> (+ b c ), arg1 -> (+ b c ), body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-332- Enter<builtin>{(IsBound, IsBound(y));
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-333- Arg(parameter1 -> y);
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:334: Leave<builtin>}(IsBound(y) -> True, Local variables: y -> c, x -> b c, head -> (List + [BuiltinObject]), result -> False, tr -> (List (List (List + [BuiltinObject])m2 )), exp -> (+ b c ), arg1 -> (+ b c ), body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:335: Leave<builtin>}(PatternMatches(head[2],exp) -> True, Local variables: y -> c, x -> b c, head -> (List + [BuiltinObject]), result -> False, tr -> (List (List (List + [BuiltinObject])m2 )), exp -> (+ b c ), arg1 -> (+ b c ), body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-336- Enter<**** user rulebase>{(!=, tr!={});
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-340- Leave<**** user rulebase>}(tr!={} -> False, Local variables: aRight -> (List ), aLeft -> (List ), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:341: Leave<**** user rulebase>}(LocPredicate(Hold(b+c)) -> True, Local variables: exp -> (+ b c ), arg1 -> (+ b c ), body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:342: Leave<builtin>}(`ApplyPure(predicate,{Hold(Hold(@body))}) -> True, Local variables: body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-343- **** Rule in function (MacroSubstitute) matched: Precedence: 1, Parameters: body<hold=false>, Predicates: `ApplyPure(predicate,{Hold(Hold(@body))})=True, Body: [ `ApplyPure(change, {Hold(Hold(@body))});]
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-348- **** Rule in function (LocChange) matched: Precedence: 0, Parameters: arg1<hold=false>, Predicates: (Pattern) True, Variables: exp, Types: Variable, Body: $LocResult12
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:349: Leave<**** user rulebase>}(LocChange(Hold(b+c)) -> m2, Local variables: exp -> (+ b c ), arg1 -> (+ b c ), body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:350: Leave<builtin>}(`ApplyPure(change,{Hold(Hold(@body))}) -> m2, Local variables: body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:351: Leave<**** user rulebase>}(MacroSubstitute(Hold(b+c)) -> m2, Local variables: body -> (+ b c ), mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:352: Leave<builtin>}(`ApplyPure($func15,{Hold(Hold(@mapsingleitem))}) -> m2, Local variables: mapsingleitem -> (+ b c ), foreachtail -> (List (+ b c )(+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-353- Enter<builtin>{(`, `ApplyPure($func15,{Hold(Hold(@mapsingleitem))}));
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-371- Arg(parameter1 -> x);
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:372: Leave<builtin>}(IsBound(x) -> True, Local variables: y -> 1, x -> d 1, head -> (List + [BuiltinObject]), result -> False, tr -> (List (List (List + [BuiltinObject])m2 )), exp -> (+ d 1 ), arg1 -> (+ d 1 ), body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-373- Enter<builtin>{(IsBound, IsBound(y));
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-374- Arg(parameter1 -> y);
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:375: Leave<builtin>}(IsBound(y) -> True, Local variables: y -> 1, x -> d 1, head -> (List + [BuiltinObject]), result -> False, tr -> (List (List (List + [BuiltinObject])m2 )), exp -> (+ d 1 ), arg1 -> (+ d 1 ), body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:376: Leave<builtin>}(PatternMatches(head[2],exp) -> True, Local variables: y -> 1, x -> d 1, head -> (List + [BuiltinObject]), result -> False, tr -> (List (List (List + [BuiltinObject])m2 )), exp -> (+ d 1 ), arg1 -> (+ d 1 ), body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-377- Enter<**** user rulebase>{(!=, tr!={});
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-381- Leave<**** user rulebase>}(tr!={} -> False, Local variables: aRight -> (List ), aLeft -> (List ), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:382: Leave<**** user rulebase>}(LocPredicate(Hold(d+1)) -> True, Local variables: exp -> (+ d 1 ), arg1 -> (+ d 1 ), body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:383: Leave<builtin>}(`ApplyPure(predicate,{Hold(Hold(@body))}) -> True, Local variables: body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-384- **** Rule in function (MacroSubstitute) matched: Precedence: 1, Parameters: body<hold=false>, Predicates: `ApplyPure(predicate,{Hold(Hold(@body))})=True, Body: [ `ApplyPure(change, {Hold(Hold(@body))});]
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-389- **** Rule in function (LocChange) matched: Precedence: 0, Parameters: arg1<hold=false>, Predicates: (Pattern) True, Variables: exp, Types: Variable, Body: $LocResult12
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:390: Leave<**** user rulebase>}(LocChange(Hold(d+1)) -> m2, Local variables: exp -> (+ d 1 ), arg1 -> (+ d 1 ), body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:391: Leave<builtin>}(`ApplyPure(change,{Hold(Hold(@body))}) -> m2, Local variables: body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:392: Leave<**** user rulebase>}(MacroSubstitute(Hold(d+1)) -> m2, Local variables: body -> (+ d 1 ), mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:393: Leave<builtin>}(`ApplyPure($func15,{Hold(Hold(@mapsingleitem))}) -> m2, Local variables: mapsingleitem -> (+ d 1 ), foreachtail -> (List (+ d 1 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (+ b c )(+ d 1 )), $item22 -> mapsingleitem, mapsingleresult -> (List m2 ), $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-394- Leave<**** user rulebase>}(MacroMapSingle(MacroSubstitute,Hold({b+c,d+1})) -> {m2,m2}, Local variables: $list15 -> (List (+ b c )(+ d 1 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:395: Leave<builtin>}(`MacroMapSingle(@op,Hold(@tl)) -> {m2,m2}, Local variables: op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-396- Arg(parameter1 -> {ex[1]});
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-397- Arg(parameter2 -> `MacroMapSingle(@op,Hold(@tl)));
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:398: Leave<builtin>}(Concat({ex[1]},`MacroMapSingle(@op,Hold(@tl))) -> {*,m2,m2}, Local variables: op -> "MacroSubstitute", tl -> (List (+ b c )(+ d 1 )), ex -> (List * (+ b c )(+ d 1 )), body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-399- Leave<macro>}(MacroMapArgs(Hold((b+c)*(d+1)),MacroSubstitute) -> m2*m2, Local variables: body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:400: Leave<builtin>}(`ApplyPure(MacroMapArgs,{Hold(Hold(@body)),MacroSubstitute}) -> m2*m2, Local variables: body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-401- Leave<**** user rulebase>}(MacroSubstitute(Hold((b+c)*(d+1))) -> m2*m2, Local variables: body -> (* (+ b c )(+ d 1 )), mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:402: Leave<builtin>}(`ApplyPure($func15,{Hold(Hold(@mapsingleitem))}) -> m2*m2, Local variables: mapsingleitem -> (* (+ b c )(+ d 1 )), foreachtail -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List ), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-403- Enter<builtin>{(`, `ApplyPure($func15,{Hold(Hold(@mapsingleitem))}));
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-432- Leave<**** user rulebase>}(LocPredicate(Hold(d+4)) -> True, Local variables: exp -> (+ d 4 ), arg1 -> (+ d 4 ), body -> (+ d 4 ), mapsingleitem -> (+ d 4 ), foreachtail -> (List (+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List (* m2 m2 )), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:433: Leave<builtin>}(`ApplyPure(predicate,{Hold(Hold(@body))}) -> True, Local variables: body -> (+ d 4 ), mapsingleitem -> (+ d 4 ), foreachtail -> (List (+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List (* m2 m2 )), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-434- **** Rule in function (MacroSubstitute) matched: Precedence: 1, Parameters: body<hold=false>, Predicates: `ApplyPure(predicate,{Hold(Hold(@body))})=True, Body: [ `ApplyPure(change, {Hold(Hold(@body))});]
##############################################
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-440- Leave<**** user rulebase>}(LocChange(Hold(d+4)) -> m2, Local variables: exp -> (+ d 4 ), arg1 -> (+ d 4 ), body -> (+ d 4 ), mapsingleitem -> (+ d 4 ), foreachtail -> (List (+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List (* m2 m2 )), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:441: Leave<builtin>}(`ApplyPure(change,{Hold(Hold(@body))}) -> m2, Local variables: body -> (+ d 4 ), mapsingleitem -> (+ d 4 ), foreachtail -> (List (+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List (* m2 m2 )), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-442- Leave<**** user rulebase>}(MacroSubstitute(Hold(d+4)) -> m2, Local variables: body -> (+ d 4 ), mapsingleitem -> (+ d 4 ), foreachtail -> (List (+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List (* m2 m2 )), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw:443: Leave<builtin>}(`ApplyPure($func15,{Hold(Hold(@mapsingleitem))}) -> m2, Local variables: mapsingleitem -> (+ d 4 ), foreachtail -> (List (+ d 4 )), $body22 -> (Prog (DestructiveInsert mapsingleresult 1 (` (ApplyPure $func15 (List (Hold (Hold (@ mapsingleitem )))))))), $list22 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $item22 -> mapsingleitem, mapsingleresult -> (List (* m2 m2 )), $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
mathpiper-0.81f+svn4469+dfsg3/tests/manual_tests/local_pattern_matching.mpw-444- Leave<**** user rulebase>}(MacroMapSingle(MacroSubstitute,Hold({(b+c)*(d+1),d+4})) -> {m2*m2,m2}, Local variables: $list15 -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), $func15 -> "MacroSubstitute", op -> "MacroSubstitute", tl -> (List (* (+ b c )(+ d 1 ))(+ d 4 )), ex -> (List * (* (+ b c )(+ d 1 ))(+ d 4 )), body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), change -> "LocChange", predicate -> "LocPredicate", body -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), patterns -> (List (List (List + [BuiltinObject])m2 )), expression -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), arg2 -> (List (<- (+ (_ x IsBound )(_ y IsBound ))m2 )), arg1 -> (* (* (+ b c )(+ d 1 ))(+ d 4 )), );
##############################################
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/compiler.lsp-4286-(cddr u)) (c!:cval (cons (quote ncons) (cdr u)) env)) (t (cond ((eqcar (cadr
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/compiler.lsp:4287:u) (quote cons)) (c!:cval (list (quote acons) (cadr (cadr u)) (caddr (cadr u
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/compiler.lsp-4288-)) (cons (quote list) (cddr u))) env)) (t (cond ((null (cdddr u)) (c!:cval (
##############################################
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/i86comp.red-3154-
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/i86comp.red:3155: % In ASM code I don't use fn since it is well replaced by hardware register
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/i86comp.red-3156-
##############################################
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/unbyte.lsp-264-(return nil))) (progn (setq byte (bps!-getv code pc)) (setq w (funcall (getv
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/unbyte.lsp:265:opnames byte) (plus pc 1) code env)) (cond (r (setq w1 (caddr (car r)))) (t (
mathpiper-0.81f+svn4469+dfsg3/lib/build_scripts/unbyte.lsp-266-setq w1 nil))) (cond ((eqcar w1 (quote if)) (setq r (cons (cons pc (cons (
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/crorder.red-14-% !FIXME! apply is going to be used as follows:
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/crorder.red:15:% apply(caddr(getv(orderings_,[ordering_number])), {eq});
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/crorder.red-16-% to get the ordering function.
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/crack.tex-731-or mixtures of them by giving weights to individual functions and variables.
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/crack.tex:732:Above, the `$>$' indicate ``before'' in priority of criteria. The principle
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/crack.tex-733-is then to
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.red-108- terpri()$write"Enter an expression with `sy_(i)' for the i'th ",
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.red:109: "symmetry. Terminate input with `$' or `;'."$
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.red-110- terpri()
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.red-149-
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.red:150: write"Terminate the following input with `$' or `;'."$
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.red-151- if modus=1 then <<
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-523-is solved which amounts to a solution of its characteristic ODE system
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex:524:(\ref{ODEsys}) where $v^1=\varepsilon$.
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-525-\item {\tt QUASILINPDE} returns a list of constant expressions
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-606-\end{equation}
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex:607:where $'= d/d\rho$.
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-608-Calling {\tt LIEPDE} through
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-808-\end{equation}
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex:809:where $u=u(v)$ and $'=d/dv.$
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-810-Using one symmetry we reduced the 2.\,order ODE (\ref{hdgl})
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-828-\end{eqnarray}
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex:829:where $c_1, c_2 = const.$ and $c_1=\tilde{c}^{1/4}.$ Finally, the metric
mathpiper-0.81f+svn4469+dfsg3/src/packages/crack/applysym.tex-830-function $U(p)$ is obtained as an integral from (\ref{g1dgl}),(\ref{g2dgl}).
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/hilbert2.red-93-smacro procedure checkexpt m;
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/hilbert2.red:94: eqcar(m,' expt)and varp(cadr(m)) and numberp(caddr(m));
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/hilbert2.red-95-
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/groebner.tex-119-relation among the variables; it can be interpreted only in terms of
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/groebner.tex:120:formula representation: ``$a$'' will be placed in front of ``$b$'' or
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/groebner.tex:121:``$a$'' is more complicated than ``$b$''.
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/groebner.tex-122-
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/groebner.tex-867-the role of the object to be reduced. The polynomials are cited as
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/groebner.tex:868:``$poly1$'', ``$poly2$'', $\ldots\;$. If read as assignments, these equations
mathpiper-0.81f+svn4469+dfsg3/src/packages/groebner/groebner.tex-869-form a program which leads from the reduction input to its result.
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-250- scalar gct, cput;
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:251: gct:= gctime() - caddr(profile_time!*);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-252- cput:= time() - cadr(profile_time!*) - gct;
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-265- prin2 tim;
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:266: tim:= gctime() - caddr(profile_time!*);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-267- if (tim=0) then return terpri();
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-424- if pairp(gl) and (car(gl) = 'equal) then
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:425: gl:= addsq(simp(cadr(gl)), negsq(simp(caddr(gl))))
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-426- else
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-901- scalar k, f, f1, jj;
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:902: k:= caddr(u);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-903- f:= simp(1);
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-932- for j:=0:m-1 do f:= quotsq(f, subsq(f2, {jj.j}));
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:933: f:= multsq(f, mksq({'qpochhammer,a,cadr(u),caddr(u)},1));
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-934- return f;
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1352- tmp:= cdr(tmp);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1353: if pairp(gl) and not(freeof(caddr(gl),j)) then <<
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1354- arbsubs:= {'equal,j,prepsq(!*f2q(makearbcomplex()))}.arbsubs;
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1365- if pairp(gl) then
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1366: caddr(gl):= reval({'sub, arbsubs, caddr(gl)});
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1367- tmp:= gl . tmp;
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1513- lo:= cadr(qsumrecursion_recrange!*);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1514: hi:= caddr(qsumrecursion_recrange!*);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1515- if not(fixp(lo) and fixp(hi) and (0<lo) and (lo<=hi)) then <<
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1547- if atom(q) and (car(q) neq 'expt) or not(idp(cadr(q))) or
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1548: not(fixp(caddr(q))) then return nil;
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1549- z:= cadr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1550: n:= caddr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1551- if not(idp(n) or ((length(n) = 2) and
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1585- de:= cadr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1586: q:= caddr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1587- arg:= cdddr(arg);
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1605- de:= cadr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1606: q:= caddr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1607- arg:= cdddr(arg);
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1639- q:= cadr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red:1640: k:= caddr(arg);
mathpiper-0.81f+svn4469+dfsg3/src/packages/qsum/qsum.red-1641- if not(idp(q)) or not(idp(k)) then
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/misc/changevr.tex-38-the independent variables are $x_{i}$ and the new independent variables are
mathpiper-0.81f+svn4469+dfsg3/src/packages/misc/changevr.tex:39:$u_{i}$ (where ${\scriptstyle i=1\ldots n}$) then the first derivatives are:
mathpiper-0.81f+svn4469+dfsg3/src/packages/misc/changevr.tex-40-\[
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/ratint/ratint.tex-184-\> \> \> v $\leftarrow v/lcoff(v) $, \hspace{3 mm}
mathpiper-0.81f+svn4469+dfsg3/src/packages/ratint/ratint.tex:185: where $\alpha=roof\_of(r_{i}(z)) $\\
mathpiper-0.81f+svn4469+dfsg3/src/packages/ratint/ratint.tex-186-\> \> if d=2 then \= \{ \\
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/ratint/ratint.tex-226-\begin{center}$ log\_sum(\alpha,eqn(\alpha),0,sum\_term,var)$ \end{center}
mathpiper-0.81f+svn4469+dfsg3/src/packages/ratint/ratint.tex:227:where $\alpha$ satisfies $eqn=0$, and $sum\_term$ is the term of the summation in the variable $var$. Thus in the above example, we have
mathpiper-0.81f+svn4469+dfsg3/src/packages/ratint/ratint.tex-228-\[ \int \frac{a}{b}\,dx= log\_sum(\alpha,\alpha^3-\alpha^2+\alpha+1,0,\alpha*\log(x^2+2\alpha x-5x+\alpha^2),x) \]
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/laplace/laplace.tex-94-\end{center}
mathpiper-0.81f+svn4469+dfsg3/src/packages/laplace/laplace.tex:95:which means \char`\"{}Integral of $<expr>$ wrt.~ $<var>$ taken from 0 to $<obj.var>$\char`\"{},
mathpiper-0.81f+svn4469+dfsg3/src/packages/laplace/laplace.tex-96-e.g. {\tt intl($2{*}y^2,y,0,x$)} which is formally a function in $x$.
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/mrvlimit/mrvlimit.tex-80-\item{Let $f(\omega)$ be the function obtained from $f(x)$ by replacing all elements of $\Omega $ by their representation in terms of $\omega$. Consider all expressions independent of $\omega$ as constants and compute the leading term of the power series of f($\omega$) around $\omega=0^{+}$ }
mathpiper-0.81f+svn4469+dfsg3/src/packages/mrvlimit/mrvlimit.tex:81:\item{If the leading exponent $e_0>0$, then the limit is 0, and we stop. If the leading exponent $e_0<0$ then the limit is $\pm \infty$. The sign is defined by the sign of the leading coefficient $c_0$. If the leading exponent $e_0=0$ then the limit is the limit of the leading coeficient $c_0$. If $c_0$ $\not \in C$, where $C=Const(L)$, the set of exp-log constants, we apply the same algorithm recursively on $c_0$.} \\
mathpiper-0.81f+svn4469+dfsg3/src/packages/mrvlimit/mrvlimit.tex-82-\end{itemize}
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codad2.red-1098- % The rhs-struct. is '(quotient nr dm).
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codad2.red:1099: if cdar(item)=caddr(tempquot) then nbof!/:=1+nbof!/
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codad2.red-1100- else nbof!*:=1+nbof!*;
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codad2.red-1119- pnr:=cadr(getv(qrhs,indx));
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codad2.red:1120: pdm:=caddr(getv(qrhs,indx));
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codad2.red-1121- ninrow:=if (nr neq pnr) then get(pnr,'rowindex) else nil;
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/scope.tex-3650-sequences of $n$ assignment statements $S_i$ of the
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/scope.tex:3651:form ${\lambda}_i := {\rho}_i$, where $i = 1, \cdots , n$. If an identifier
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/scope.tex-3652-occurs in ${\lambda}_i$, it is said to be {\em defined} in $S_i$. All
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codmat.red-657-(constp(cadr f) and not (pairp(caddr f) and
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codmat.red:658: caaddr(f) memq '(expt times plus difference minus)));
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codmat.red-659-
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codpri.red-1107- << sgn:=t;
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codpri.red:1108: item:=car(item).caddr(item)>>;
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codpri.red-1109- if idp(cdr item) and
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codpri.red-1151- then <<sgn:=t;
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codpri.red:1152: item:=car(item).caddr(item)>>;
mathpiper-0.81f+svn4469+dfsg3/src/packages/scope/codpri.red-1153- se:=nil;
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2361- in the <coframing>\\\hline
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex:2362:"system($E$)"
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2363- &extracts the <system> part of $E$\\\hline
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2406- &\header{Function}\\\hline
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex:2407:"cartan_system($E$)"\nl "cartan_system($S$)"\nl "cartan_system($\Omega$)"
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2408- &calculates the Cartan system (associated Pfaff system, retracting
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2409- space): no differentiations are performed\\\hline
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex:2410:"cauchy_system($E$)"\nl "cauchy_system($S$)"\nl "cauchy_system($\Omega$)"
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2411- &calculates the Cauchy system: the Cartan system of the closure under
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2420- differentiation\\\hline
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex:2421:"derived_system($E$)"\nl "derived_system($S$)"
mathpiper-0.81f+svn4469+dfsg3/src/packages/eds/eds.tex-2422- &calculates the first derived system of the Pfaffian system $E$ or
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/normform/smithex1.red-296- ll := cadr (calc_exgcd_int(int1,int2));
mathpiper-0.81f+svn4469+dfsg3/src/packages/normform/smithex1.red:297: rr := caddr (calc_exgcd_int(int1,int2));
mathpiper-0.81f+svn4469+dfsg3/src/packages/normform/smithex1.red-298- quo1 := get_quo_int(getmat(A,i,i),g);
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/guardian/guardian.tex-602-is exactly the same as without the guardian package. If the condition
mathpiper-0.81f+svn4469+dfsg3/src/packages/guardian/guardian.tex:603:of the generic case becomes ``$\false$,'' a {\em warning} ``{\tt
mathpiper-0.81f+svn4469+dfsg3/src/packages/guardian/guardian.tex-604-contradictive situation}'' is given. The computation can, however, be
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/int/halfangl.red-285- else if car(f) = 'expt
mathpiper-0.81f+svn4469+dfsg3/src/packages/int/halfangl.red:286: and not atom caddr(f)
mathpiper-0.81f+svn4469+dfsg3/src/packages/int/halfangl.red:287: and caaddr(f) = 'quotient
mathpiper-0.81f+svn4469+dfsg3/src/packages/int/halfangl.red-288- and member(x, flatten cadr f) then t
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/redlog/pasf/pasfqe.red-310- % [p] is the probability for PQE. Returns a pair $(a . p) . theo'$
mathpiper-0.81f+svn4469+dfsg3/src/packages/redlog/pasf/pasfqe.red:311: % where $a=t$ and $p$ is a list of container elements and $theo'$ a
mathpiper-0.81f+svn4469+dfsg3/src/packages/redlog/pasf/pasfqe.red-312- % theory.
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odenonn.red-402-%% ss := car ss . for each s in cdr ss join
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odenonn.red:403:%% if eqcar(caddr(s:=reval s), arbop)
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odenonn.red-404-%% then << arbexprns := s . arbexprns; nil >>
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odenonn.red-442- ss := car ss . for each s in cdr ss join
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odenonn.red:443: if eqcar(caddr(s:=reval s), arbop)
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odenonn.red-444- then << arbexprns := s . arbexprns; nil >>
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odesolve.tex-117-purposes of description I will refer to the dependent variable as
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odesolve.tex:118:``$y$'' and the independent variable as ``$x$'', but of course the
mathpiper-0.81f+svn4469+dfsg3/src/packages/odesolve/odesolve.tex-119-names are arbitrary. The general input syntax is
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/specfn/fps.hlp-22-\end{displaymath}
mathpiper-0.81f+svn4469+dfsg3/src/packages/specfn/fps.hlp:23:where $s$ is the `shift number', $n$ is the `Puiseux number',
mathpiper-0.81f+svn4469+dfsg3/src/packages/specfn/fps.hlp-24-and $x_0$ is the `point of development'. The following types are
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/specfn/fps.tex-24-\end{displaymath}
mathpiper-0.81f+svn4469+dfsg3/src/packages/specfn/fps.tex:25:where $m$ is the `symmetry number', $s$ is the `shift number',
mathpiper-0.81f+svn4469+dfsg3/src/packages/specfn/fps.tex-26-$n$ is the `Puiseux number',
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/pm/pm.tex-44-bindings for the generic variables. A replacement is an expression of the
mathpiper-0.81f+svn4469+dfsg3/src/packages/pm/pm.tex:45:form `exp1 $->$ exp2', which means exp1 is replaced by exp2, or `exp1 $-->$
mathpiper-0.81f+svn4469+dfsg3/src/packages/pm/pm.tex-46-exp2', which is the same except exp2 is not simplified until after the
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/packages/pm/pm.tex-358-rep2...~ until the rules are retracted. In effect it replaces the
mathpiper-0.81f+svn4469+dfsg3/src/packages/pm/pm.tex:359:operator `$->$' by `:-' in the set of replacements \{rep1, rep2,...\}.
mathpiper-0.81f+svn4469+dfsg3/src/packages/pm/pm.tex-360-
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/org/mathpiper/scripts4/orthopoly/orthopoly.mpw-138-Sums of series of orthogonal polynomials are found using the Clenshaw-Smith recurrence scheme:
mathpiper-0.81f+svn4469+dfsg3/src/org/mathpiper/scripts4/orthopoly/orthopoly.mpw:139: If $P_n$ satisfy $P_n = A_n p_{n-1} + B_n p_{n-2}$, $n>=2$, and if $A_1$ is defined so that $P_1 = A_1 P_0$, then $\sum _{n=0}^N c_n P_n = X_0 P_0$, where $X_n$ are found from the following backward recurrence: $X_{N+1} = X_{N+2} = 0$, $X_n = c_n + A_{n+1} X_{n+1} + B_{n+2} X_{n+2}$, $n=N, N-1, ..., 0$.
mathpiper-0.81f+svn4469+dfsg3/src/org/mathpiper/scripts4/orthopoly/orthopoly.mpw-140-*/
##############################################
mathpiper-0.81f+svn4469+dfsg3/src/org/mathpiper/scripts4/numbers/numbertheory/MoebiusDivisorsList.mpw-43-
mathpiper-0.81f+svn4469+dfsg3/src/org/mathpiper/scripts4/numbers/numbertheory/MoebiusDivisorsList.mpw:44:Returns a list of pairs of the form {{d,m}}, where {d} runs through the squarefree divisors of $n$ and $m=Moebius(d)$.
mathpiper-0.81f+svn4469+dfsg3/src/org/mathpiper/scripts4/numbers/numbertheory/MoebiusDivisorsList.mpw-45-This is more efficient than making a list of all
##############################################
mathpiper-0.81f+svn4469+dfsg3/debian/get_orig_source.sh-28- # Uncompress the previous tarball
mathpiper-0.81f+svn4469+dfsg3/debian/get_orig_source.sh:29: tar xzfv "$DESTTGZ" -C `dirname "$DESTDIR"`
mathpiper-0.81f+svn4469+dfsg3/debian/get_orig_source.sh-30-fi
##############################################
mathpiper-0.81f+svn4469+dfsg3/debian/get_orig_source.sh-55-# Builds tarball
mathpiper-0.81f+svn4469+dfsg3/debian/get_orig_source.sh:56:tar czfv "$DESTTGZ" -C `dirname "$DESTDIR"` `basename "$DESTDIR"`
mathpiper-0.81f+svn4469+dfsg3/debian/get_orig_source.sh-57-