1176
eng
reportzib
Department of Mathematics, Brock University St. Catharines Ontario, Canada and ZIB Fellow
0
2010-07-05
2010-07-05
--
Merging solutions of non-linear algebraic systems
In solving large polynomial algebraic systems that are too big for standard GrÃ¶bner basis techniques one way to make progress is to introduce case distinctions. This divide and conquer technique can be beneficial if the algorithms and computer programs know how to take advantage of inequalities. A further hurdle is the form of the resulting general solutions which often have unnecessarily many branches. In this paper we discuss a procedure to merge solutions by dropping inequalities which are associated with them and, if necessary, by re-parametrizing solutions. In the appendix the usefulness of the procedure is demonstrated in the classification of quadratic Hamiltonians with a Lie-Poisson bracket $e(3)$. This application required the solution of algebraic systems with over 200 unknowns, 450 equations and between 5000 and 9000 terms.
10-13
1438-0064
1236
urn:nbn:de:0297-zib-11769
Thomas Wolf
unknown unknown
ZIB-Report
10-13
eng
uncontrolled
computer algebra
eng
uncontrolled
polynomial systems
eng
uncontrolled
Lie-Poisson brackets
eng
uncontrolled
quadratic Hamiltonians
Mathematik
Symbolic computation (computer algebra)
Completely integrable systems, topological structure of phase space, integration methods
Digital Data and Information for Society, Science, and Culture
https://opus4.kobv.de/opus4-zib/files/1176/ZR_10_13.pdf