The MuPAD solver

More documents

Recommendations

Info

The preImage functionCalled if:solve is called with a logical expression f(x) in S, or directly assolvelib::preImage(f(x), x, S).Returns:the set of all x for which f(x) ∈ S.This is just a call to the preImage slot of the domain of S, i.e., a case analysis onthe type of S.To do:The important case S = the set of real numbers deserves morecareful treatment than it is given now.The Open Computer Algebra System 24
The handling of optionsThe function solvelib::getoptions(opt1,...,optn) returns a table of alloptions that are valid if the default options are overridden by opt1 through optn.For example, if no defaults are overridden,✓>> solvelib::getoptions()✏✒table("DontRewriteBySystem" = FALSE,"IgnoreSpecialCases" = FALSE,"Domain" = Expr,"BackSubstitution" = TRUE,"PrincipalValue" = FALSE,"Multiple" = FALSE,"MaxDegree" = 2)✑The Open Computer Algebra System 25
Page 1 and 2: The MuPAD solverPart IIMuPAD semina
Page 3 and 4: The system solverCalled if:• the
Page 5 and 6: Subroutines of the system solverThe
Page 7 and 8: Solving algebraic systemsLet a syst
Page 9 and 10: ExampleConsider the system2xy 2 −
Page 11 and 12: To do:We should use walk methods, b
Page 13 and 14: For each list, MuPAD now solves the
Page 15 and 16: Remark:At the moment, (systems of)
Page 17 and 18: NOTE THAT:This part of the solver h
Page 19 and 20: The corresponding equation has the
Page 21 and 22: Another example showing a few of th
Page 23: Hence we insert three points for x
Page 27 and 28: The meaning of the optionsMost opti
Page 29 and 30: Weaknesses and subjects to discussT

The MuPAD solver

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?