Error in nonlinear system

The error "Polynomial quotient is not exact" indicates a Maxima bug. We're sorry about that,
but there might be a (at least partial) workaround. Try solving for all the variables; something like

(%i10) eqs : [m11 = (ck *co *sp + sk *so) *imHW + ck *cp *fl, ... < deleted > ]

(%i12) vars : listofvars(eqs)
(%o12) [m11,ck,cp,fl,sk,so,co,sp,imHW,m12,m13,m14,camX,camY,camZ,m21,imHH,m22,m23,m24,m31,m32,m33,m34]

(%i16) algsys(eqs,vars);

(%o16) [[m11=(%r37*%r42*%r43+%r40*%r41)*%r44+%r37*%r38*%r39,ck=%r37,cp=%r38,fl=%r39,sk=%r40,so=%r41,co=%r42,sp=%r43,imHW=%r44,m12=(
   < deleted>

The %r variables are arbitrary. Now try eliminating solved variables one-by-one and see if you can get
something useful. Try something like

  algsys(eqs, delete(imHW, delete(so, delete(sk,listofvars(eqs))))) --> OK

Good luck.

--Barton

-----maxima-bounces at math.utexas.edu wrote: -----

>To:?maxima at math.utexas.edu
>From:?Andrea?Bottino?<andrea.bottino at polito.it>
>Sent?by:?maxima-bounces at math.utexas.edu
>Date:?09/21/2010?12:53PM
>Subject:?[Maxima]?Error?in?nonlinear?system
>
>
>
>
>
>
>
>Hi?everybody,?I'm?new?to?Maxima
>and?I?need?some?help.
>
>If?I?try?to?solve?this?non?linear?system,?I?get?an?error?and?I?have?no
>idea?why.?Even?entering?the?debug?mode?doesn't?help,?since?I'm?lost
>again.
>
>
>
>Anyone?can?tell?me?what?I'm?doing?wrong?
>
>bye,
>
>a.
>
>
>
>solve?([m11?=?(ck?*co?*sp?+?sk?*so)?*imHW?+?ck?*cp?*fl,
>
>m12?=?(co?*sk?*sp?-?ck?*so)?*imHW?+?cp*?fl?*sk,?
>
>m13?=?co*?cp*?imHW?-?fl?*sp,?
>
>m14?=?(co?*cp?*camZ?+?(co*?sk?*sp?-?ck?*so)*?camY?-?(ck*?co?*sp?+?sk
>*so)?*camX)?*imHW?+?fl*?(-?sp?*camZ?+?cp?*sk?*camY?-?ck?*cp?*camX),
>
>?
>
>m21?=?(ck?*co?*sp?+?sk?*so)?*imHH?+?fl?*(co?*sk?-?ck?*so*?sp),?
>
>m22?=?(co*?sk?*sp?-?ck*?so)?*imHH?+?fl*?(-?sk?*so?*sp?-?ck*?co),?
>
>m23?=?co?*cp?*imHH?-?cp?*fl?*so,?
>
>m24?=?(co*?cp?*camZ?+?(co?*sk?*sp?-?ck?*so)*?camY?-?(ck?*co?*sp?+?sk
>*so)?*camX)?*imHH?+?fl?*(-?cp*?so?*camZ?-?(sk*?so*?sp?+?ck?*co)?*camY?+
>(ck?*so?*sp?-?co?*sk)*?camX),?
>
>
>
>m31?=?ck?*co?*sp?+?sk?*so,?
>
>m32?=?co*?sk?*sp?-?ck?*so,?
>
>m33?=?co?*cp,?
>
>m34?=?co*?cp*?camZ?+?(co?*sk?*sp?-?ck*?so)?*camY?-?(ck?*co?*sp?+?sk
>*so)?*camX],[fl,?co,?so,?ck,?sk,?cp,?sp,?camX,?camY,?camZ]);
>
>Polynomial?quotient?is?not?exact
>
>?--?an?error.?To?debug?this?try:?debugmode(true);
>
>--?
>Andrea?Bottino
>Politecnico?di?Torino,?DAUIN
>Corso?Duca?degli?Abruzzi,?24
>10129?Torino?ITALY
>Tel?+39?011?5647175?/?Fax?+39?011?5647099
>http://www.polito.it/cgvg
>_______________________________________________
>Maxima?mailing?list
>Maxima at math.utexas.edu
>http://www.math.utexas.edu/mailman/listinfo/maxima