123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021302230233024302530263027302830293030303130323033303430353036303730383039304030413042304330443045304630473048304930503051305230533054305530563057305830593060306130623063306430653066306730683069307030713072307330743075307630773078307930803081308230833084308530863087308830893090309130923093309430953096309730983099310031013102310331043105310631073108310931103111311231133114311531163117311831193120312131223123312431253126312731283129313031313132313331343135313631373138313931403141314231433144314531463147314831493150315131523153315431553156315731583159316031613162316331643165316631673168316931703171317231733174317531763177317831793180318131823183318431853186318731883189319031913192319331943195319631973198319932003201320232033204320532063207320832093210321132123213321432153216321732183219322032213222322332243225322632273228322932303231323232333234323532363237323832393240324132423243324432453246324732483249325032513252325332543255325632573258325932603261326232633264326532663267326832693270327132723273327432753276327732783279328032813282328332843285328632873288328932903291329232933294329532963297329832993300330133023303330433053306330733083309331033113312331333143315331633173318331933203321332233233324332533263327332833293330333133323333333433353336333733383339334033413342334333443345334633473348334933503351335233533354335533563357335833593360336133623363336433653366336733683369337033713372337333743375337633773378337933803381338233833384338533863387338833893390339133923393339433953396339733983399340034013402340334043405340634073408340934103411341234133414341534163417341834193420342134223423342434253426342734283429343034313432343334343435343634373438343934403441344234433444344534463447344834493450345134523453345434553456345734583459346034613462346334643465346634673468346934703471347234733474347534763477347834793480348134823483348434853486348734883489349034913492349334943495349634973498349935003501350235033504350535063507350835093510351135123513351435153516351735183519352035213522352335243525352635273528352935303531353235333534353535363537353835393540354135423543354435453546354735483549355035513552355335543555355635573558355935603561356235633564356535663567356835693570357135723573357435753576357735783579358035813582358335843585358635873588358935903591359235933594359535963597359835993600360136023603360436053606360736083609361036113612361336143615361636173618361936203621362236233624362536263627362836293630363136323633363436353636363736383639364036413642364336443645364636473648364936503651365236533654365536563657365836593660366136623663366436653666366736683669367036713672367336743675367636773678367936803681368236833684368536863687368836893690369136923693369436953696369736983699370037013702370337043705370637073708370937103711371237133714371537163717371837193720372137223723372437253726372737283729373037313732373337343735373637373738373937403741374237433744374537463747374837493750375137523753375437553756375737583759376037613762376337643765376637673768376937703771377237733774377537763777377837793780378137823783378437853786378737883789379037913792379337943795379637973798379938003801380238033804380538063807380838093810381138123813381438153816381738183819382038213822382338243825382638273828382938303831383238333834383538363837383838393840384138423843384438453846384738483849385038513852385338543855385638573858385938603861386238633864386538663867386838693870387138723873387438753876387738783879388038813882388338843885388638873888388938903891389238933894389538963897389838993900390139023903390439053906390739083909391039113912391339143915391639173918391939203921392239233924392539263927392839293930393139323933393439353936393739383939394039413942394339443945394639473948394939503951395239533954395539563957395839593960396139623963396439653966396739683969397039713972397339743975397639773978397939803981398239833984398539863987398839893990399139923993399439953996399739983999400040014002400340044005400640074008400940104011401240134014401540164017401840194020402140224023402440254026402740284029403040314032403340344035403640374038403940404041404240434044404540464047404840494050405140524053405440554056405740584059406040614062406340644065406640674068406940704071407240734074407540764077407840794080408140824083408440854086408740884089409040914092409340944095409640974098409941004101410241034104410541064107410841094110411141124113411441154116411741184119412041214122412341244125412641274128412941304131413241334134413541364137413841394140414141424143414441454146414741484149415041514152415341544155415641574158415941604161416241634164416541664167416841694170417141724173417441754176417741784179418041814182418341844185418641874188418941904191419241934194419541964197419841994200420142024203420442054206420742084209421042114212421342144215421642174218421942204221422242234224422542264227422842294230423142324233423442354236423742384239424042414242424342444245424642474248424942504251 |
- // boost octonion.hpp header file
- // (C) Copyright Hubert Holin 2001.
- // Distributed under the Boost Software License, Version 1.0. (See
- // accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- // See http://www.boost.org for updates, documentation, and revision history.
- #ifndef BOOST_OCTONION_HPP
- #define BOOST_OCTONION_HPP
- #include <boost/math/quaternion.hpp>
- #include <valarray>
- namespace boost
- {
- namespace math
- {
-
- #define BOOST_OCTONION_ACCESSOR_GENERATOR(type) \
- type real() const \
- { \
- return(a); \
- } \
- \
- octonion<type> unreal() const \
- { \
- return( octonion<type>(static_cast<type>(0),b,c,d,e,f,g,h)); \
- } \
- \
- type R_component_1() const \
- { \
- return(a); \
- } \
- \
- type R_component_2() const \
- { \
- return(b); \
- } \
- \
- type R_component_3() const \
- { \
- return(c); \
- } \
- \
- type R_component_4() const \
- { \
- return(d); \
- } \
- \
- type R_component_5() const \
- { \
- return(e); \
- } \
- \
- type R_component_6() const \
- { \
- return(f); \
- } \
- \
- type R_component_7() const \
- { \
- return(g); \
- } \
- \
- type R_component_8() const \
- { \
- return(h); \
- } \
- \
- ::std::complex<type> C_component_1() const \
- { \
- return(::std::complex<type>(a,b)); \
- } \
- \
- ::std::complex<type> C_component_2() const \
- { \
- return(::std::complex<type>(c,d)); \
- } \
- \
- ::std::complex<type> C_component_3() const \
- { \
- return(::std::complex<type>(e,f)); \
- } \
- \
- ::std::complex<type> C_component_4() const \
- { \
- return(::std::complex<type>(g,h)); \
- } \
- \
- ::boost::math::quaternion<type> H_component_1() const \
- { \
- return(::boost::math::quaternion<type>(a,b,c,d)); \
- } \
- \
- ::boost::math::quaternion<type> H_component_2() const \
- { \
- return(::boost::math::quaternion<type>(e,f,g,h)); \
- }
-
-
- #define BOOST_OCTONION_MEMBER_ASSIGNMENT_GENERATOR(type) \
- template<typename X> \
- octonion<type> & operator = (octonion<X> const & a_affecter) \
- { \
- a = static_cast<type>(a_affecter.R_component_1()); \
- b = static_cast<type>(a_affecter.R_component_2()); \
- c = static_cast<type>(a_affecter.R_component_3()); \
- d = static_cast<type>(a_affecter.R_component_4()); \
- e = static_cast<type>(a_affecter.R_component_5()); \
- f = static_cast<type>(a_affecter.R_component_6()); \
- g = static_cast<type>(a_affecter.R_component_7()); \
- h = static_cast<type>(a_affecter.R_component_8()); \
- \
- return(*this); \
- } \
- \
- octonion<type> & operator = (octonion<type> const & a_affecter) \
- { \
- a = a_affecter.a; \
- b = a_affecter.b; \
- c = a_affecter.c; \
- d = a_affecter.d; \
- e = a_affecter.e; \
- f = a_affecter.f; \
- g = a_affecter.g; \
- h = a_affecter.h; \
- \
- return(*this); \
- } \
- \
- octonion<type> & operator = (type const & a_affecter) \
- { \
- a = a_affecter; \
- \
- b = c = d = e = f= g = h = static_cast<type>(0); \
- \
- return(*this); \
- } \
- \
- octonion<type> & operator = (::std::complex<type> const & a_affecter) \
- { \
- a = a_affecter.real(); \
- b = a_affecter.imag(); \
- \
- c = d = e = f = g = h = static_cast<type>(0); \
- \
- return(*this); \
- } \
- \
- octonion<type> & operator = (::boost::math::quaternion<type> const & a_affecter) \
- { \
- a = a_affecter.R_component_1(); \
- b = a_affecter.R_component_2(); \
- c = a_affecter.R_component_3(); \
- d = a_affecter.R_component_4(); \
- \
- e = f = g = h = static_cast<type>(0); \
- \
- return(*this); \
- }
-
-
- #define BOOST_OCTONION_MEMBER_DATA_GENERATOR(type) \
- type a; \
- type b; \
- type c; \
- type d; \
- type e; \
- type f; \
- type g; \
- type h; \
-
-
- template<typename T>
- class octonion
- {
- public:
-
- typedef T value_type;
-
- // constructor for O seen as R^8
- // (also default constructor)
-
- explicit octonion( T const & requested_a = T(),
- T const & requested_b = T(),
- T const & requested_c = T(),
- T const & requested_d = T(),
- T const & requested_e = T(),
- T const & requested_f = T(),
- T const & requested_g = T(),
- T const & requested_h = T())
- : a(requested_a),
- b(requested_b),
- c(requested_c),
- d(requested_d),
- e(requested_e),
- f(requested_f),
- g(requested_g),
- h(requested_h)
- {
- // nothing to do!
- }
-
-
- // constructor for H seen as C^4
-
- explicit octonion( ::std::complex<T> const & z0,
- ::std::complex<T> const & z1 = ::std::complex<T>(),
- ::std::complex<T> const & z2 = ::std::complex<T>(),
- ::std::complex<T> const & z3 = ::std::complex<T>())
- : a(z0.real()),
- b(z0.imag()),
- c(z1.real()),
- d(z1.imag()),
- e(z2.real()),
- f(z2.imag()),
- g(z3.real()),
- h(z3.imag())
- {
- // nothing to do!
- }
-
-
- // constructor for O seen as H^2
-
- explicit octonion( ::boost::math::quaternion<T> const & q0,
- ::boost::math::quaternion<T> const & q1 = ::boost::math::quaternion<T>())
- : a(q0.R_component_1()),
- b(q0.R_component_2()),
- c(q0.R_component_3()),
- d(q0.R_component_4()),
- e(q1.R_component_1()),
- f(q1.R_component_2()),
- g(q1.R_component_3()),
- h(q1.R_component_4())
- {
- // nothing to do!
- }
-
-
- // UNtemplated copy constructor
- // (this is taken care of by the compiler itself)
-
-
- // templated copy constructor
-
- template<typename X>
- explicit octonion(octonion<X> const & a_recopier)
- : a(static_cast<T>(a_recopier.R_component_1())),
- b(static_cast<T>(a_recopier.R_component_2())),
- c(static_cast<T>(a_recopier.R_component_3())),
- d(static_cast<T>(a_recopier.R_component_4())),
- e(static_cast<T>(a_recopier.R_component_5())),
- f(static_cast<T>(a_recopier.R_component_6())),
- g(static_cast<T>(a_recopier.R_component_7())),
- h(static_cast<T>(a_recopier.R_component_8()))
- {
- // nothing to do!
- }
-
-
- // destructor
- // (this is taken care of by the compiler itself)
-
-
- // accessors
- //
- // Note: Like complex number, octonions do have a meaningful notion of "real part",
- // but unlike them there is no meaningful notion of "imaginary part".
- // Instead there is an "unreal part" which itself is an octonion, and usually
- // nothing simpler (as opposed to the complex number case).
- // However, for practicallity, there are accessors for the other components
- // (these are necessary for the templated copy constructor, for instance).
-
- BOOST_OCTONION_ACCESSOR_GENERATOR(T)
-
- // assignment operators
-
- BOOST_OCTONION_MEMBER_ASSIGNMENT_GENERATOR(T)
-
- // other assignment-related operators
- //
- // NOTE: Octonion multiplication is *NOT* commutative;
- // symbolically, "q *= rhs;" means "q = q * rhs;"
- // and "q /= rhs;" means "q = q * inverse_of(rhs);";
- // octonion multiplication is also *NOT* associative
-
- octonion<T> & operator += (T const & rhs)
- {
- T at = a + rhs; // exception guard
-
- a = at;
-
- return(*this);
- }
-
-
- octonion<T> & operator += (::std::complex<T> const & rhs)
- {
- T at = a + rhs.real(); // exception guard
- T bt = b + rhs.imag(); // exception guard
-
- a = at;
- b = bt;
-
- return(*this);
- }
-
-
- octonion<T> & operator += (::boost::math::quaternion<T> const & rhs)
- {
- T at = a + rhs.R_component_1(); // exception guard
- T bt = b + rhs.R_component_2(); // exception guard
- T ct = c + rhs.R_component_3(); // exception guard
- T dt = d + rhs.R_component_4(); // exception guard
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
-
- return(*this);
- }
-
-
- template<typename X>
- octonion<T> & operator += (octonion<X> const & rhs)
- {
- T at = a + static_cast<T>(rhs.R_component_1()); // exception guard
- T bt = b + static_cast<T>(rhs.R_component_2()); // exception guard
- T ct = c + static_cast<T>(rhs.R_component_3()); // exception guard
- T dt = d + static_cast<T>(rhs.R_component_4()); // exception guard
- T et = e + static_cast<T>(rhs.R_component_5()); // exception guard
- T ft = f + static_cast<T>(rhs.R_component_6()); // exception guard
- T gt = g + static_cast<T>(rhs.R_component_7()); // exception guard
- T ht = h + static_cast<T>(rhs.R_component_8()); // exception guard
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
-
- octonion<T> & operator -= (T const & rhs)
- {
- T at = a - rhs; // exception guard
-
- a = at;
-
- return(*this);
- }
-
-
- octonion<T> & operator -= (::std::complex<T> const & rhs)
- {
- T at = a - rhs.real(); // exception guard
- T bt = b - rhs.imag(); // exception guard
-
- a = at;
- b = bt;
-
- return(*this);
- }
-
-
- octonion<T> & operator -= (::boost::math::quaternion<T> const & rhs)
- {
- T at = a - rhs.R_component_1(); // exception guard
- T bt = b - rhs.R_component_2(); // exception guard
- T ct = c - rhs.R_component_3(); // exception guard
- T dt = d - rhs.R_component_4(); // exception guard
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
-
- return(*this);
- }
-
-
- template<typename X>
- octonion<T> & operator -= (octonion<X> const & rhs)
- {
- T at = a - static_cast<T>(rhs.R_component_1()); // exception guard
- T bt = b - static_cast<T>(rhs.R_component_2()); // exception guard
- T ct = c - static_cast<T>(rhs.R_component_3()); // exception guard
- T dt = d - static_cast<T>(rhs.R_component_4()); // exception guard
- T et = e - static_cast<T>(rhs.R_component_5()); // exception guard
- T ft = f - static_cast<T>(rhs.R_component_6()); // exception guard
- T gt = g - static_cast<T>(rhs.R_component_7()); // exception guard
- T ht = h - static_cast<T>(rhs.R_component_8()); // exception guard
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- octonion<T> & operator *= (T const & rhs)
- {
- T at = a * rhs; // exception guard
- T bt = b * rhs; // exception guard
- T ct = c * rhs; // exception guard
- T dt = d * rhs; // exception guard
- T et = e * rhs; // exception guard
- T ft = f * rhs; // exception guard
- T gt = g * rhs; // exception guard
- T ht = h * rhs; // exception guard
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- octonion<T> & operator *= (::std::complex<T> const & rhs)
- {
- T ar = rhs.real();
- T br = rhs.imag();
-
- T at = +a*ar-b*br;
- T bt = +a*br+b*ar;
- T ct = +c*ar+d*br;
- T dt = -c*br+d*ar;
- T et = +e*ar+f*br;
- T ft = -e*br+f*ar;
- T gt = +g*ar-h*br;
- T ht = +g*br+h*ar;
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- octonion<T> & operator *= (::boost::math::quaternion<T> const & rhs)
- {
- T ar = rhs.R_component_1();
- T br = rhs.R_component_2();
- T cr = rhs.R_component_2();
- T dr = rhs.R_component_2();
-
- T at = +a*ar-b*br-c*cr-d*dr;
- T bt = +a*br+b*ar+c*dr-d*cr;
- T ct = +a*cr-b*dr+c*ar+d*br;
- T dt = +a*dr+b*cr-c*br+d*ar;
- T et = +e*ar+f*br+g*cr+h*dr;
- T ft = -e*br+f*ar-g*dr+h*cr;
- T gt = -e*cr+f*dr+g*ar-h*br;
- T ht = -e*dr-f*cr+g*br+h*ar;
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- template<typename X>
- octonion<T> & operator *= (octonion<X> const & rhs)
- {
- T ar = static_cast<T>(rhs.R_component_1());
- T br = static_cast<T>(rhs.R_component_2());
- T cr = static_cast<T>(rhs.R_component_3());
- T dr = static_cast<T>(rhs.R_component_4());
- T er = static_cast<T>(rhs.R_component_5());
- T fr = static_cast<T>(rhs.R_component_6());
- T gr = static_cast<T>(rhs.R_component_7());
- T hr = static_cast<T>(rhs.R_component_8());
-
- T at = +a*ar-b*br-c*cr-d*dr-e*er-f*fr-g*gr-h*hr;
- T bt = +a*br+b*ar+c*dr-d*cr+e*fr-f*er-g*hr+h*gr;
- T ct = +a*cr-b*dr+c*ar+d*br+e*gr+f*hr-g*er-h*fr;
- T dt = +a*dr+b*cr-c*br+d*ar+e*hr-f*gr+g*fr-h*er;
- T et = +a*er-b*fr-c*gr-d*hr+e*ar+f*br+g*cr+h*dr;
- T ft = +a*fr+b*er-c*hr+d*gr-e*br+f*ar-g*dr+h*cr;
- T gt = +a*gr+b*hr+c*er-d*fr-e*cr+f*dr+g*ar-h*br;
- T ht = +a*hr-b*gr+c*fr+d*er-e*dr-f*cr+g*br+h*ar;
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- octonion<T> & operator /= (T const & rhs)
- {
- T at = a / rhs; // exception guard
- T bt = b / rhs; // exception guard
- T ct = c / rhs; // exception guard
- T dt = d / rhs; // exception guard
- T et = e / rhs; // exception guard
- T ft = f / rhs; // exception guard
- T gt = g / rhs; // exception guard
- T ht = h / rhs; // exception guard
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- octonion<T> & operator /= (::std::complex<T> const & rhs)
- {
- T ar = rhs.real();
- T br = rhs.imag();
-
- T denominator = ar*ar+br*br;
-
- T at = (+a*ar-b*br)/denominator;
- T bt = (-a*br+b*ar)/denominator;
- T ct = (+c*ar-d*br)/denominator;
- T dt = (+c*br+d*ar)/denominator;
- T et = (+e*ar-f*br)/denominator;
- T ft = (+e*br+f*ar)/denominator;
- T gt = (+g*ar+h*br)/denominator;
- T ht = (+g*br+h*ar)/denominator;
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- octonion<T> & operator /= (::boost::math::quaternion<T> const & rhs)
- {
- T ar = rhs.R_component_1();
- T br = rhs.R_component_2();
- T cr = rhs.R_component_2();
- T dr = rhs.R_component_2();
-
- T denominator = ar*ar+br*br+cr*cr+dr*dr;
-
- T at = (+a*ar+b*br+c*cr+d*dr)/denominator;
- T bt = (-a*br+b*ar-c*dr+d*cr)/denominator;
- T ct = (-a*cr+b*dr+c*ar-d*br)/denominator;
- T dt = (-a*dr-b*cr+c*br+d*ar)/denominator;
- T et = (+e*ar-f*br-g*cr-h*dr)/denominator;
- T ft = (+e*br+f*ar+g*dr-h*cr)/denominator;
- T gt = (+e*cr-f*dr+g*ar+h*br)/denominator;
- T ht = (+e*dr+f*cr-g*br+h*ar)/denominator;
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- template<typename X>
- octonion<T> & operator /= (octonion<X> const & rhs)
- {
- T ar = static_cast<T>(rhs.R_component_1());
- T br = static_cast<T>(rhs.R_component_2());
- T cr = static_cast<T>(rhs.R_component_3());
- T dr = static_cast<T>(rhs.R_component_4());
- T er = static_cast<T>(rhs.R_component_5());
- T fr = static_cast<T>(rhs.R_component_6());
- T gr = static_cast<T>(rhs.R_component_7());
- T hr = static_cast<T>(rhs.R_component_8());
-
- T denominator = ar*ar+br*br+cr*cr+dr*dr+er*er+fr*fr+gr*gr+hr*hr;
-
- T at = (+a*ar+b*br+c*cr+d*dr+e*er+f*fr+g*gr+h*hr)/denominator;
- T bt = (-a*br+b*ar-c*dr+d*cr-e*fr+f*er+g*hr-h*gr)/denominator;
- T ct = (-a*cr+b*dr+c*ar-d*br-e*gr-f*hr+g*er+h*fr)/denominator;
- T dt = (-a*dr-b*cr+c*br+d*ar-e*hr+f*gr-g*fr+h*er)/denominator;
- T et = (-a*er+b*fr+c*gr+d*hr+e*ar-f*br-g*cr-h*dr)/denominator;
- T ft = (-a*fr-b*er+c*hr-d*gr+e*br+f*ar+g*dr-h*cr)/denominator;
- T gt = (-a*gr-b*hr-c*er+d*fr+e*cr-f*dr+g*ar+h*br)/denominator;
- T ht = (-a*hr+b*gr-c*fr-d*er+e*dr+f*cr-g*br+h*ar)/denominator;
-
- a = at;
- b = bt;
- c = ct;
- d = dt;
- e = et;
- f = ft;
- g = gt;
- h = ht;
-
- return(*this);
- }
-
-
- protected:
-
- BOOST_OCTONION_MEMBER_DATA_GENERATOR(T)
-
-
- private:
-
- };
-
-
- // declaration of octonion specialization
-
- template<> class octonion<float>;
- template<> class octonion<double>;
- template<> class octonion<long double>;
-
-
- // helper templates for converting copy constructors (declaration)
-
- namespace detail
- {
-
- template< typename T,
- typename U
- >
- octonion<T> octonion_type_converter(octonion<U> const & rhs);
- }
-
-
- // implementation of octonion specialization
-
-
- #define BOOST_OCTONION_CONSTRUCTOR_GENERATOR(type) \
- explicit octonion( type const & requested_a = static_cast<type>(0), \
- type const & requested_b = static_cast<type>(0), \
- type const & requested_c = static_cast<type>(0), \
- type const & requested_d = static_cast<type>(0), \
- type const & requested_e = static_cast<type>(0), \
- type const & requested_f = static_cast<type>(0), \
- type const & requested_g = static_cast<type>(0), \
- type const & requested_h = static_cast<type>(0)) \
- : a(requested_a), \
- b(requested_b), \
- c(requested_c), \
- d(requested_d), \
- e(requested_e), \
- f(requested_f), \
- g(requested_g), \
- h(requested_h) \
- { \
- } \
- \
- explicit octonion( ::std::complex<type> const & z0, \
- ::std::complex<type> const & z1 = ::std::complex<type>(), \
- ::std::complex<type> const & z2 = ::std::complex<type>(), \
- ::std::complex<type> const & z3 = ::std::complex<type>()) \
- : a(z0.real()), \
- b(z0.imag()), \
- c(z1.real()), \
- d(z1.imag()), \
- e(z2.real()), \
- f(z2.imag()), \
- g(z3.real()), \
- h(z3.imag()) \
- { \
- } \
- \
- explicit octonion( ::boost::math::quaternion<type> const & q0, \
- ::boost::math::quaternion<type> const & q1 = ::boost::math::quaternion<type>()) \
- : a(q0.R_component_1()), \
- b(q0.R_component_2()), \
- c(q0.R_component_3()), \
- d(q0.R_component_4()), \
- e(q1.R_component_1()), \
- f(q1.R_component_2()), \
- g(q1.R_component_3()), \
- h(q1.R_component_4()) \
- { \
- }
-
-
- #define BOOST_OCTONION_MEMBER_ADD_GENERATOR_1(type) \
- octonion<type> & operator += (type const & rhs) \
- { \
- a += rhs; \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_ADD_GENERATOR_2(type) \
- octonion<type> & operator += (::std::complex<type> const & rhs) \
- { \
- a += rhs.real(); \
- b += rhs.imag(); \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_ADD_GENERATOR_3(type) \
- octonion<type> & operator += (::boost::math::quaternion<type> const & rhs) \
- { \
- a += rhs.R_component_1(); \
- b += rhs.R_component_2(); \
- c += rhs.R_component_3(); \
- d += rhs.R_component_4(); \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_ADD_GENERATOR_4(type) \
- template<typename X> \
- octonion<type> & operator += (octonion<X> const & rhs) \
- { \
- a += static_cast<type>(rhs.R_component_1()); \
- b += static_cast<type>(rhs.R_component_2()); \
- c += static_cast<type>(rhs.R_component_3()); \
- d += static_cast<type>(rhs.R_component_4()); \
- e += static_cast<type>(rhs.R_component_5()); \
- f += static_cast<type>(rhs.R_component_6()); \
- g += static_cast<type>(rhs.R_component_7()); \
- h += static_cast<type>(rhs.R_component_8()); \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_SUB_GENERATOR_1(type) \
- octonion<type> & operator -= (type const & rhs) \
- { \
- a -= rhs; \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_SUB_GENERATOR_2(type) \
- octonion<type> & operator -= (::std::complex<type> const & rhs) \
- { \
- a -= rhs.real(); \
- b -= rhs.imag(); \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_SUB_GENERATOR_3(type) \
- octonion<type> & operator -= (::boost::math::quaternion<type> const & rhs) \
- { \
- a -= rhs.R_component_1(); \
- b -= rhs.R_component_2(); \
- c -= rhs.R_component_3(); \
- d -= rhs.R_component_4(); \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_SUB_GENERATOR_4(type) \
- template<typename X> \
- octonion<type> & operator -= (octonion<X> const & rhs) \
- { \
- a -= static_cast<type>(rhs.R_component_1()); \
- b -= static_cast<type>(rhs.R_component_2()); \
- c -= static_cast<type>(rhs.R_component_3()); \
- d -= static_cast<type>(rhs.R_component_4()); \
- e -= static_cast<type>(rhs.R_component_5()); \
- f -= static_cast<type>(rhs.R_component_6()); \
- g -= static_cast<type>(rhs.R_component_7()); \
- h -= static_cast<type>(rhs.R_component_8()); \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_MUL_GENERATOR_1(type) \
- octonion<type> & operator *= (type const & rhs) \
- { \
- a *= rhs; \
- b *= rhs; \
- c *= rhs; \
- d *= rhs; \
- e *= rhs; \
- f *= rhs; \
- g *= rhs; \
- h *= rhs; \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_MUL_GENERATOR_2(type) \
- octonion<type> & operator *= (::std::complex<type> const & rhs) \
- { \
- type ar = rhs.real(); \
- type br = rhs.imag(); \
- \
- type at = +a*ar-b*br; \
- type bt = +a*br+b*ar; \
- type ct = +c*ar+d*br; \
- type dt = -c*br+d*ar; \
- type et = +e*ar+f*br; \
- type ft = -e*br+f*ar; \
- type gt = +g*ar-h*br; \
- type ht = +g*br+h*ar; \
- \
- a = at; \
- b = bt; \
- c = ct; \
- d = dt; \
- e = et; \
- f = ft; \
- g = gt; \
- h = ht; \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_MUL_GENERATOR_3(type) \
- octonion<type> & operator *= (::boost::math::quaternion<type> const & rhs) \
- { \
- type ar = rhs.R_component_1(); \
- type br = rhs.R_component_2(); \
- type cr = rhs.R_component_2(); \
- type dr = rhs.R_component_2(); \
- \
- type at = +a*ar-b*br-c*cr-d*dr; \
- type bt = +a*br+b*ar+c*dr-d*cr; \
- type ct = +a*cr-b*dr+c*ar+d*br; \
- type dt = +a*dr+b*cr-c*br+d*ar; \
- type et = +e*ar+f*br+g*cr+h*dr; \
- type ft = -e*br+f*ar-g*dr+h*cr; \
- type gt = -e*cr+f*dr+g*ar-h*br; \
- type ht = -e*dr-f*cr+g*br+h*ar; \
- \
- a = at; \
- b = bt; \
- c = ct; \
- d = dt; \
- e = et; \
- f = ft; \
- g = gt; \
- h = ht; \
- \
- return(*this); \
- }
-
- #define BOOST_OCTONION_MEMBER_MUL_GENERATOR_4(type) \
- template<typename X> \
- octonion<type> & operator *= (octonion<X> const & rhs) \
- { \
- type ar = static_cast<type>(rhs.R_component_1()); \
- type br = static_cast<type>(rhs.R_component_2()); \
- type cr = static_cast<type>(rhs.R_component_3()); \
- type dr = static_cast<type>(rhs.R_component_4()); \
- type er = static_cast<type>(rhs.R_component_5()); \
- type fr = static_cast<type>(rhs.R_component_6()); \
- type gr = static_cast<type>(rhs.R_component_7()); \
- type hr = static_cast<type>(rhs.R_component_8()); \
- \
- type at = +a*ar-b*br-c*cr-d*dr-e*er-f*fr-g*gr-h*hr; \
- type bt = +a*br+b*ar+c*dr-d*cr+e*fr-f*er-g*hr+h*gr; \
- type ct = +a*cr-b*dr+c*ar+d*br+e*gr+f*hr-g*er-h*fr; \
- type dt = +a*dr+b*cr-c*br+d*ar+e*hr-f*gr+g*fr-h*er; \
- type et = +a*er-b*fr-c*gr-d*hr+e*ar+f*br+g*cr+h*dr; \
- type ft = +a*fr+b*er-c*hr+d*gr-e*br+f*ar-g*dr+h*cr; \
- type gt = +a*gr+b*hr+c*er-d*fr-e*cr+f*dr+g*ar-h*br; \
- type ht = +a*hr-b*gr+c*fr+d*er-e*dr-f*cr+g*br+h*ar; \
- \
- a = at; \
- b = bt; \
- c = ct; \
- d = dt; \
- e = et; \
- f = ft; \
- g = gt; \
- h = ht; \
- \
- return(*this); \
- }
-
- // There is quite a lot of repetition in the code below. This is intentional.
- // The last conditional block is the normal form, and the others merely
- // consist of workarounds for various compiler deficiencies. Hopefuly, when
- // more compilers are conformant and we can retire support for those that are
- // not, we will be able to remove the clutter. This is makes the situation
- // (painfully) explicit.
-
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR_1(type) \
- octonion<type> & operator /= (type const & rhs) \
- { \
- a /= rhs; \
- b /= rhs; \
- c /= rhs; \
- d /= rhs; \
- \
- return(*this); \
- }
-
- #if defined(BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP)
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR_2(type) \
- octonion<type> & operator /= (::std::complex<type> const & rhs) \
- { \
- using ::std::valarray; \
- using ::std::abs; \
- \
- valarray<type> tr(2); \
- \
- tr[0] = rhs.real(); \
- tr[1] = rhs.imag(); \
- \
- type mixam = static_cast<type>(1)/(abs(tr).max)(); \
- \
- tr *= mixam; \
- \
- valarray<type> tt(8); \
- \
- tt[0] = +a*tr[0]-b*tr[1]; \
- tt[1] = -a*tr[1]+b*tr[0]; \
- tt[2] = +c*tr[0]-d*tr[1]; \
- tt[3] = +c*tr[1]+d*tr[0]; \
- tt[4] = +e*tr[0]-f*tr[1]; \
- tt[5] = +e*tr[1]+f*tr[0]; \
- tt[6] = +g*tr[0]+h*tr[1]; \
- tt[7] = +g*tr[1]+h*tr[0]; \
- \
- tr *= tr; \
- \
- tt *= (mixam/tr.sum()); \
- \
- a = tt[0]; \
- b = tt[1]; \
- c = tt[2]; \
- d = tt[3]; \
- e = tt[4]; \
- f = tt[5]; \
- g = tt[6]; \
- h = tt[7]; \
- \
- return(*this); \
- }
- #else
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR_2(type) \
- octonion<type> & operator /= (::std::complex<type> const & rhs) \
- { \
- using ::std::valarray; \
- \
- valarray<type> tr(2); \
- \
- tr[0] = rhs.real(); \
- tr[1] = rhs.imag(); \
- \
- type mixam = static_cast<type>(1)/(abs(tr).max)(); \
- \
- tr *= mixam; \
- \
- valarray<type> tt(8); \
- \
- tt[0] = +a*tr[0]-b*tr[1]; \
- tt[1] = -a*tr[1]+b*tr[0]; \
- tt[2] = +c*tr[0]-d*tr[1]; \
- tt[3] = +c*tr[1]+d*tr[0]; \
- tt[4] = +e*tr[0]-f*tr[1]; \
- tt[5] = +e*tr[1]+f*tr[0]; \
- tt[6] = +g*tr[0]+h*tr[1]; \
- tt[7] = +g*tr[1]+h*tr[0]; \
- \
- tr *= tr; \
- \
- tt *= (mixam/tr.sum()); \
- \
- a = tt[0]; \
- b = tt[1]; \
- c = tt[2]; \
- d = tt[3]; \
- e = tt[4]; \
- f = tt[5]; \
- g = tt[6]; \
- h = tt[7]; \
- \
- return(*this); \
- }
- #endif /* BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP */
-
- #if defined(BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP)
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR_3(type) \
- octonion<type> & operator /= (::boost::math::quaternion<type> const & rhs) \
- { \
- using ::std::valarray; \
- using ::std::abs; \
- \
- valarray<type> tr(4); \
- \
- tr[0] = static_cast<type>(rhs.R_component_1()); \
- tr[1] = static_cast<type>(rhs.R_component_2()); \
- tr[2] = static_cast<type>(rhs.R_component_3()); \
- tr[3] = static_cast<type>(rhs.R_component_4()); \
- \
- type mixam = static_cast<type>(1)/(abs(tr).max)(); \
- \
- tr *= mixam; \
- \
- valarray<type> tt(8); \
- \
- tt[0] = +a*tr[0]+b*tr[1]+c*tr[2]+d*tr[3]; \
- tt[1] = -a*tr[1]+b*tr[0]-c*tr[3]+d*tr[2]; \
- tt[2] = -a*tr[2]+b*tr[3]+c*tr[0]-d*tr[1]; \
- tt[3] = -a*tr[3]-b*tr[2]+c*tr[1]+d*tr[0]; \
- tt[4] = +e*tr[0]-f*tr[1]-g*tr[2]-h*tr[3]; \
- tt[5] = +e*tr[1]+f*tr[0]+g*tr[3]-h*tr[2]; \
- tt[6] = +e*tr[2]-f*tr[3]+g*tr[0]+h*tr[1]; \
- tt[7] = +e*tr[3]+f*tr[2]-g*tr[1]+h*tr[0]; \
- \
- tr *= tr; \
- \
- tt *= (mixam/tr.sum()); \
- \
- a = tt[0]; \
- b = tt[1]; \
- c = tt[2]; \
- d = tt[3]; \
- e = tt[4]; \
- f = tt[5]; \
- g = tt[6]; \
- h = tt[7]; \
- \
- return(*this); \
- }
- #else
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR_3(type) \
- octonion<type> & operator /= (::boost::math::quaternion<type> const & rhs) \
- { \
- using ::std::valarray; \
- \
- valarray<type> tr(4); \
- \
- tr[0] = static_cast<type>(rhs.R_component_1()); \
- tr[1] = static_cast<type>(rhs.R_component_2()); \
- tr[2] = static_cast<type>(rhs.R_component_3()); \
- tr[3] = static_cast<type>(rhs.R_component_4()); \
- \
- type mixam = static_cast<type>(1)/(abs(tr).max)(); \
- \
- tr *= mixam; \
- \
- valarray<type> tt(8); \
- \
- tt[0] = +a*tr[0]+b*tr[1]+c*tr[2]+d*tr[3]; \
- tt[1] = -a*tr[1]+b*tr[0]-c*tr[3]+d*tr[2]; \
- tt[2] = -a*tr[2]+b*tr[3]+c*tr[0]-d*tr[1]; \
- tt[3] = -a*tr[3]-b*tr[2]+c*tr[1]+d*tr[0]; \
- tt[4] = +e*tr[0]-f*tr[1]-g*tr[2]-h*tr[3]; \
- tt[5] = +e*tr[1]+f*tr[0]+g*tr[3]-h*tr[2]; \
- tt[6] = +e*tr[2]-f*tr[3]+g*tr[0]+h*tr[1]; \
- tt[7] = +e*tr[3]+f*tr[2]-g*tr[1]+h*tr[0]; \
- \
- tr *= tr; \
- \
- tt *= (mixam/tr.sum()); \
- \
- a = tt[0]; \
- b = tt[1]; \
- c = tt[2]; \
- d = tt[3]; \
- e = tt[4]; \
- f = tt[5]; \
- g = tt[6]; \
- h = tt[7]; \
- \
- return(*this); \
- }
- #endif /* BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP */
-
- #if defined(BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP)
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR_4(type) \
- template<typename X> \
- octonion<type> & operator /= (octonion<X> const & rhs) \
- { \
- using ::std::valarray; \
- using ::std::abs; \
- \
- valarray<type> tr(8); \
- \
- tr[0] = static_cast<type>(rhs.R_component_1()); \
- tr[1] = static_cast<type>(rhs.R_component_2()); \
- tr[2] = static_cast<type>(rhs.R_component_3()); \
- tr[3] = static_cast<type>(rhs.R_component_4()); \
- tr[4] = static_cast<type>(rhs.R_component_5()); \
- tr[5] = static_cast<type>(rhs.R_component_6()); \
- tr[6] = static_cast<type>(rhs.R_component_7()); \
- tr[7] = static_cast<type>(rhs.R_component_8()); \
- \
- type mixam = static_cast<type>(1)/(abs(tr).max)(); \
- \
- tr *= mixam; \
- \
- valarray<type> tt(8); \
- \
- tt[0] = +a*tr[0]+b*tr[1]+c*tr[2]+d*tr[3]+e*tr[4]+f*tr[5]+g*tr[6]+h*tr[7]; \
- tt[1] = -a*tr[1]+b*tr[0]-c*tr[3]+d*tr[2]-e*tr[5]+f*tr[4]+g*tr[7]-h*tr[6]; \
- tt[2] = -a*tr[2]+b*tr[3]+c*tr[0]-d*tr[1]-e*tr[6]-f*tr[7]+g*tr[4]+h*tr[5]; \
- tt[3] = -a*tr[3]-b*tr[2]+c*tr[1]+d*tr[0]-e*tr[7]+f*tr[6]-g*tr[5]+h*tr[4]; \
- tt[4] = -a*tr[4]+b*tr[5]+c*tr[6]+d*tr[7]+e*tr[0]-f*tr[1]-g*tr[2]-h*tr[3]; \
- tt[5] = -a*tr[5]-b*tr[4]+c*tr[7]-d*tr[6]+e*tr[1]+f*tr[0]+g*tr[3]-h*tr[2]; \
- tt[6] = -a*tr[6]-b*tr[7]-c*tr[4]+d*tr[5]+e*tr[2]-f*tr[3]+g*tr[0]+h*tr[1]; \
- tt[7] = -a*tr[7]+b*tr[6]-c*tr[5]-d*tr[4]+e*tr[3]+f*tr[2]-g*tr[1]+h*tr[0]; \
- \
- tr *= tr; \
- \
- tt *= (mixam/tr.sum()); \
- \
- a = tt[0]; \
- b = tt[1]; \
- c = tt[2]; \
- d = tt[3]; \
- e = tt[4]; \
- f = tt[5]; \
- g = tt[6]; \
- h = tt[7]; \
- \
- return(*this); \
- }
- #else
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR_4(type) \
- template<typename X> \
- octonion<type> & operator /= (octonion<X> const & rhs) \
- { \
- using ::std::valarray; \
- \
- valarray<type> tr(8); \
- \
- tr[0] = static_cast<type>(rhs.R_component_1()); \
- tr[1] = static_cast<type>(rhs.R_component_2()); \
- tr[2] = static_cast<type>(rhs.R_component_3()); \
- tr[3] = static_cast<type>(rhs.R_component_4()); \
- tr[4] = static_cast<type>(rhs.R_component_5()); \
- tr[5] = static_cast<type>(rhs.R_component_6()); \
- tr[6] = static_cast<type>(rhs.R_component_7()); \
- tr[7] = static_cast<type>(rhs.R_component_8()); \
- \
- type mixam = static_cast<type>(1)/(abs(tr).max)(); \
- \
- tr *= mixam; \
- \
- valarray<type> tt(8); \
- \
- tt[0] = +a*tr[0]+b*tr[1]+c*tr[2]+d*tr[3]+e*tr[4]+f*tr[5]+g*tr[6]+h*tr[7]; \
- tt[1] = -a*tr[1]+b*tr[0]-c*tr[3]+d*tr[2]-e*tr[5]+f*tr[4]+g*tr[7]-h*tr[6]; \
- tt[2] = -a*tr[2]+b*tr[3]+c*tr[0]-d*tr[1]-e*tr[6]-f*tr[7]+g*tr[4]+h*tr[5]; \
- tt[3] = -a*tr[3]-b*tr[2]+c*tr[1]+d*tr[0]-e*tr[7]+f*tr[6]-g*tr[5]+h*tr[4]; \
- tt[4] = -a*tr[4]+b*tr[5]+c*tr[6]+d*tr[7]+e*tr[0]-f*tr[1]-g*tr[2]-h*tr[3]; \
- tt[5] = -a*tr[5]-b*tr[4]+c*tr[7]-d*tr[6]+e*tr[1]+f*tr[0]+g*tr[3]-h*tr[2]; \
- tt[6] = -a*tr[6]-b*tr[7]-c*tr[4]+d*tr[5]+e*tr[2]-f*tr[3]+g*tr[0]+h*tr[1]; \
- tt[7] = -a*tr[7]+b*tr[6]-c*tr[5]-d*tr[4]+e*tr[3]+f*tr[2]-g*tr[1]+h*tr[0]; \
- \
- tr *= tr; \
- \
- tt *= (mixam/tr.sum()); \
- \
- a = tt[0]; \
- b = tt[1]; \
- c = tt[2]; \
- d = tt[3]; \
- e = tt[4]; \
- f = tt[5]; \
- g = tt[6]; \
- h = tt[7]; \
- \
- return(*this); \
- }
- #endif /* BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP */
-
-
- #define BOOST_OCTONION_MEMBER_ADD_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_ADD_GENERATOR_1(type) \
- BOOST_OCTONION_MEMBER_ADD_GENERATOR_2(type) \
- BOOST_OCTONION_MEMBER_ADD_GENERATOR_3(type) \
- BOOST_OCTONION_MEMBER_ADD_GENERATOR_4(type)
-
- #define BOOST_OCTONION_MEMBER_SUB_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_SUB_GENERATOR_1(type) \
- BOOST_OCTONION_MEMBER_SUB_GENERATOR_2(type) \
- BOOST_OCTONION_MEMBER_SUB_GENERATOR_3(type) \
- BOOST_OCTONION_MEMBER_SUB_GENERATOR_4(type)
-
- #define BOOST_OCTONION_MEMBER_MUL_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_MUL_GENERATOR_1(type) \
- BOOST_OCTONION_MEMBER_MUL_GENERATOR_2(type) \
- BOOST_OCTONION_MEMBER_MUL_GENERATOR_3(type) \
- BOOST_OCTONION_MEMBER_MUL_GENERATOR_4(type)
-
- #define BOOST_OCTONION_MEMBER_DIV_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_DIV_GENERATOR_1(type) \
- BOOST_OCTONION_MEMBER_DIV_GENERATOR_2(type) \
- BOOST_OCTONION_MEMBER_DIV_GENERATOR_3(type) \
- BOOST_OCTONION_MEMBER_DIV_GENERATOR_4(type)
-
- #define BOOST_OCTONION_MEMBER_ALGEBRAIC_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_ADD_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_SUB_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_MUL_GENERATOR(type) \
- BOOST_OCTONION_MEMBER_DIV_GENERATOR(type)
-
-
- template<>
- class octonion<float>
- {
- public:
-
- typedef float value_type;
-
- BOOST_OCTONION_CONSTRUCTOR_GENERATOR(float)
-
- // UNtemplated copy constructor
- // (this is taken care of by the compiler itself)
-
- // explicit copy constructors (precision-loosing converters)
-
- explicit octonion(octonion<double> const & a_recopier)
- {
- *this = detail::octonion_type_converter<float, double>(a_recopier);
- }
-
- explicit octonion(octonion<long double> const & a_recopier)
- {
- *this = detail::octonion_type_converter<float, long double>(a_recopier);
- }
-
- // destructor
- // (this is taken care of by the compiler itself)
-
- // accessors
- //
- // Note: Like complex number, octonions do have a meaningful notion of "real part",
- // but unlike them there is no meaningful notion of "imaginary part".
- // Instead there is an "unreal part" which itself is an octonion, and usually
- // nothing simpler (as opposed to the complex number case).
- // However, for practicallity, there are accessors for the other components
- // (these are necessary for the templated copy constructor, for instance).
-
- BOOST_OCTONION_ACCESSOR_GENERATOR(float)
-
- // assignment operators
-
- BOOST_OCTONION_MEMBER_ASSIGNMENT_GENERATOR(float)
-
- // other assignment-related operators
- //
- // NOTE: Octonion multiplication is *NOT* commutative;
- // symbolically, "q *= rhs;" means "q = q * rhs;"
- // and "q /= rhs;" means "q = q * inverse_of(rhs);";
- // octonion multiplication is also *NOT* associative
-
- BOOST_OCTONION_MEMBER_ALGEBRAIC_GENERATOR(float)
-
-
- protected:
-
- BOOST_OCTONION_MEMBER_DATA_GENERATOR(float)
-
-
- private:
-
- };
-
-
- template<>
- class octonion<double>
- {
- public:
-
- typedef double value_type;
-
- BOOST_OCTONION_CONSTRUCTOR_GENERATOR(double)
-
- // UNtemplated copy constructor
- // (this is taken care of by the compiler itself)
-
- // converting copy constructor
-
- explicit octonion(octonion<float> const & a_recopier)
- {
- *this = detail::octonion_type_converter<double, float>(a_recopier);
- }
-
- // explicit copy constructors (precision-loosing converters)
-
- explicit octonion(octonion<long double> const & a_recopier)
- {
- *this = detail::octonion_type_converter<double, long double>(a_recopier);
- }
-
- // destructor
- // (this is taken care of by the compiler itself)
-
- // accessors
- //
- // Note: Like complex number, octonions do have a meaningful notion of "real part",
- // but unlike them there is no meaningful notion of "imaginary part".
- // Instead there is an "unreal part" which itself is an octonion, and usually
- // nothing simpler (as opposed to the complex number case).
- // However, for practicallity, there are accessors for the other components
- // (these are necessary for the templated copy constructor, for instance).
-
- BOOST_OCTONION_ACCESSOR_GENERATOR(double)
-
- // assignment operators
-
- BOOST_OCTONION_MEMBER_ASSIGNMENT_GENERATOR(double)
-
- // other assignment-related operators
- //
- // NOTE: Octonion multiplication is *NOT* commutative;
- // symbolically, "q *= rhs;" means "q = q * rhs;"
- // and "q /= rhs;" means "q = q * inverse_of(rhs);";
- // octonion multiplication is also *NOT* associative
-
- BOOST_OCTONION_MEMBER_ALGEBRAIC_GENERATOR(double)
-
-
- protected:
-
- BOOST_OCTONION_MEMBER_DATA_GENERATOR(double)
-
-
- private:
-
- };
-
-
- template<>
- class octonion<long double>
- {
- public:
-
- typedef long double value_type;
-
- BOOST_OCTONION_CONSTRUCTOR_GENERATOR(long double)
-
- // UNtemplated copy constructor
- // (this is taken care of by the compiler itself)
-
- // converting copy constructor
-
- explicit octonion(octonion<float> const & a_recopier)
- {
- *this = detail::octonion_type_converter<long double, float>(a_recopier);
- }
-
-
- explicit octonion(octonion<double> const & a_recopier)
- {
- *this = detail::octonion_type_converter<long double, double>(a_recopier);
- }
-
-
- // destructor
- // (this is taken care of by the compiler itself)
-
- // accessors
- //
- // Note: Like complex number, octonions do have a meaningful notion of "real part",
- // but unlike them there is no meaningful notion of "imaginary part".
- // Instead there is an "unreal part" which itself is an octonion, and usually
- // nothing simpler (as opposed to the complex number case).
- // However, for practicallity, there are accessors for the other components
- // (these are necessary for the templated copy constructor, for instance).
-
- BOOST_OCTONION_ACCESSOR_GENERATOR(long double)
-
- // assignment operators
-
- BOOST_OCTONION_MEMBER_ASSIGNMENT_GENERATOR(long double)
-
- // other assignment-related operators
- //
- // NOTE: Octonion multiplication is *NOT* commutative;
- // symbolically, "q *= rhs;" means "q = q * rhs;"
- // and "q /= rhs;" means "q = q * inverse_of(rhs);";
- // octonion multiplication is also *NOT* associative
-
- BOOST_OCTONION_MEMBER_ALGEBRAIC_GENERATOR(long double)
-
-
- protected:
-
- BOOST_OCTONION_MEMBER_DATA_GENERATOR(long double)
-
-
- private:
-
- };
-
-
- #undef BOOST_OCTONION_CONSTRUCTOR_GENERATOR
-
- #undef BOOST_OCTONION_MEMBER_ALGEBRAIC_GENERATOR
-
- #undef BOOST_OCTONION_MEMBER_ADD_GENERATOR
- #undef BOOST_OCTONION_MEMBER_SUB_GENERATOR
- #undef BOOST_OCTONION_MEMBER_MUL_GENERATOR
- #undef BOOST_OCTONION_MEMBER_DIV_GENERATOR
-
- #undef BOOST_OCTONION_MEMBER_ADD_GENERATOR_1
- #undef BOOST_OCTONION_MEMBER_ADD_GENERATOR_2
- #undef BOOST_OCTONION_MEMBER_ADD_GENERATOR_3
- #undef BOOST_OCTONION_MEMBER_ADD_GENERATOR_4
- #undef BOOST_OCTONION_MEMBER_SUB_GENERATOR_1
- #undef BOOST_OCTONION_MEMBER_SUB_GENERATOR_2
- #undef BOOST_OCTONION_MEMBER_SUB_GENERATOR_3
- #undef BOOST_OCTONION_MEMBER_SUB_GENERATOR_4
- #undef BOOST_OCTONION_MEMBER_MUL_GENERATOR_1
- #undef BOOST_OCTONION_MEMBER_MUL_GENERATOR_2
- #undef BOOST_OCTONION_MEMBER_MUL_GENERATOR_3
- #undef BOOST_OCTONION_MEMBER_MUL_GENERATOR_4
- #undef BOOST_OCTONION_MEMBER_DIV_GENERATOR_1
- #undef BOOST_OCTONION_MEMBER_DIV_GENERATOR_2
- #undef BOOST_OCTONION_MEMBER_DIV_GENERATOR_3
- #undef BOOST_OCTONION_MEMBER_DIV_GENERATOR_4
-
-
- #undef BOOST_OCTONION_MEMBER_DATA_GENERATOR
-
- #undef BOOST_OCTONION_MEMBER_ASSIGNMENT_GENERATOR
-
- #undef BOOST_OCTONION_ACCESSOR_GENERATOR
-
-
- // operators
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op) \
- { \
- octonion<T> res(lhs); \
- res op##= rhs; \
- return(res); \
- }
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_1_L(op) \
- template<typename T> \
- inline octonion<T> operator op (T const & lhs, octonion<T> const & rhs) \
- BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op)
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_1_R(op) \
- template<typename T> \
- inline octonion<T> operator op (octonion<T> const & lhs, T const & rhs) \
- BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op)
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_2_L(op) \
- template<typename T> \
- inline octonion<T> operator op (::std::complex<T> const & lhs, octonion<T> const & rhs) \
- BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op)
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_2_R(op) \
- template<typename T> \
- inline octonion<T> operator op (octonion<T> const & lhs, ::std::complex<T> const & rhs) \
- BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op)
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_3_L(op) \
- template<typename T> \
- inline octonion<T> operator op (::boost::math::quaternion<T> const & lhs, octonion<T> const & rhs) \
- BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op)
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_3_R(op) \
- template<typename T> \
- inline octonion<T> operator op (octonion<T> const & lhs, ::boost::math::quaternion<T> const & rhs) \
- BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op)
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR_4(op) \
- template<typename T> \
- inline octonion<T> operator op (octonion<T> const & lhs, octonion<T> const & rhs) \
- BOOST_OCTONION_OPERATOR_GENERATOR_BODY(op)
-
- #define BOOST_OCTONION_OPERATOR_GENERATOR(op) \
- BOOST_OCTONION_OPERATOR_GENERATOR_1_L(op) \
- BOOST_OCTONION_OPERATOR_GENERATOR_1_R(op) \
- BOOST_OCTONION_OPERATOR_GENERATOR_2_L(op) \
- BOOST_OCTONION_OPERATOR_GENERATOR_2_R(op) \
- BOOST_OCTONION_OPERATOR_GENERATOR_3_L(op) \
- BOOST_OCTONION_OPERATOR_GENERATOR_3_R(op) \
- BOOST_OCTONION_OPERATOR_GENERATOR_4(op)
-
-
- BOOST_OCTONION_OPERATOR_GENERATOR(+)
- BOOST_OCTONION_OPERATOR_GENERATOR(-)
- BOOST_OCTONION_OPERATOR_GENERATOR(*)
- BOOST_OCTONION_OPERATOR_GENERATOR(/)
-
-
- #undef BOOST_OCTONION_OPERATOR_GENERATOR
-
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_1_L
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_1_R
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_2_L
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_2_R
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_3_L
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_3_R
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_4
-
- #undef BOOST_OCTONION_OPERATOR_GENERATOR_BODY
-
-
- template<typename T>
- inline octonion<T> operator + (octonion<T> const & o)
- {
- return(o);
- }
-
-
- template<typename T>
- inline octonion<T> operator - (octonion<T> const & o)
- {
- return(octonion<T>(-o.R_component_1(),-o.R_component_2(),-o.R_component_3(),-o.R_component_4(),-o.R_component_5(),-o.R_component_6(),-o.R_component_7(),-o.R_component_8()));
- }
-
-
- template<typename T>
- inline bool operator == (T const & lhs, octonion<T> const & rhs)
- {
- return(
- (rhs.R_component_1() == lhs)&&
- (rhs.R_component_2() == static_cast<T>(0))&&
- (rhs.R_component_3() == static_cast<T>(0))&&
- (rhs.R_component_4() == static_cast<T>(0))&&
- (rhs.R_component_5() == static_cast<T>(0))&&
- (rhs.R_component_6() == static_cast<T>(0))&&
- (rhs.R_component_7() == static_cast<T>(0))&&
- (rhs.R_component_8() == static_cast<T>(0))
- );
- }
-
-
- template<typename T>
- inline bool operator == (octonion<T> const & lhs, T const & rhs)
- {
- return(
- (lhs.R_component_1() == rhs)&&
- (lhs.R_component_2() == static_cast<T>(0))&&
- (lhs.R_component_3() == static_cast<T>(0))&&
- (lhs.R_component_4() == static_cast<T>(0))&&
- (lhs.R_component_5() == static_cast<T>(0))&&
- (lhs.R_component_6() == static_cast<T>(0))&&
- (lhs.R_component_7() == static_cast<T>(0))&&
- (lhs.R_component_8() == static_cast<T>(0))
- );
- }
-
-
- template<typename T>
- inline bool operator == (::std::complex<T> const & lhs, octonion<T> const & rhs)
- {
- return(
- (rhs.R_component_1() == lhs.real())&&
- (rhs.R_component_2() == lhs.imag())&&
- (rhs.R_component_3() == static_cast<T>(0))&&
- (rhs.R_component_4() == static_cast<T>(0))&&
- (rhs.R_component_5() == static_cast<T>(0))&&
- (rhs.R_component_6() == static_cast<T>(0))&&
- (rhs.R_component_7() == static_cast<T>(0))&&
- (rhs.R_component_8() == static_cast<T>(0))
- );
- }
-
-
- template<typename T>
- inline bool operator == (octonion<T> const & lhs, ::std::complex<T> const & rhs)
- {
- return(
- (lhs.R_component_1() == rhs.real())&&
- (lhs.R_component_2() == rhs.imag())&&
- (lhs.R_component_3() == static_cast<T>(0))&&
- (lhs.R_component_4() == static_cast<T>(0))&&
- (lhs.R_component_5() == static_cast<T>(0))&&
- (lhs.R_component_6() == static_cast<T>(0))&&
- (lhs.R_component_7() == static_cast<T>(0))&&
- (lhs.R_component_8() == static_cast<T>(0))
- );
- }
-
-
- template<typename T>
- inline bool operator == (::boost::math::quaternion<T> const & lhs, octonion<T> const & rhs)
- {
- return(
- (rhs.R_component_1() == lhs.R_component_1())&&
- (rhs.R_component_2() == lhs.R_component_2())&&
- (rhs.R_component_3() == lhs.R_component_3())&&
- (rhs.R_component_4() == lhs.R_component_4())&&
- (rhs.R_component_5() == static_cast<T>(0))&&
- (rhs.R_component_6() == static_cast<T>(0))&&
- (rhs.R_component_7() == static_cast<T>(0))&&
- (rhs.R_component_8() == static_cast<T>(0))
- );
- }
-
-
- template<typename T>
- inline bool operator == (octonion<T> const & lhs, ::boost::math::quaternion<T> const & rhs)
- {
- return(
- (lhs.R_component_1() == rhs.R_component_1())&&
- (lhs.R_component_2() == rhs.R_component_2())&&
- (lhs.R_component_3() == rhs.R_component_3())&&
- (lhs.R_component_4() == rhs.R_component_4())&&
- (lhs.R_component_5() == static_cast<T>(0))&&
- (lhs.R_component_6() == static_cast<T>(0))&&
- (lhs.R_component_7() == static_cast<T>(0))&&
- (lhs.R_component_8() == static_cast<T>(0))
- );
- }
-
-
- template<typename T>
- inline bool operator == (octonion<T> const & lhs, octonion<T> const & rhs)
- {
- return(
- (rhs.R_component_1() == lhs.R_component_1())&&
- (rhs.R_component_2() == lhs.R_component_2())&&
- (rhs.R_component_3() == lhs.R_component_3())&&
- (rhs.R_component_4() == lhs.R_component_4())&&
- (rhs.R_component_5() == lhs.R_component_5())&&
- (rhs.R_component_6() == lhs.R_component_6())&&
- (rhs.R_component_7() == lhs.R_component_7())&&
- (rhs.R_component_8() == lhs.R_component_8())
- );
- }
-
-
- #define BOOST_OCTONION_NOT_EQUAL_GENERATOR \
- { \
- return(!(lhs == rhs)); \
- }
-
- template<typename T>
- inline bool operator != (T const & lhs, octonion<T> const & rhs)
- BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
- template<typename T>
- inline bool operator != (octonion<T> const & lhs, T const & rhs)
- BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
- template<typename T>
- inline bool operator != (::std::complex<T> const & lhs, octonion<T> const & rhs)
- BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
- template<typename T>
- inline bool operator != (octonion<T> const & lhs, ::std::complex<T> const & rhs)
- BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
- template<typename T>
- inline bool operator != (::boost::math::quaternion<T> const & lhs, octonion<T> const & rhs)
- BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
- template<typename T>
- inline bool operator != (octonion<T> const & lhs, ::boost::math::quaternion<T> const & rhs)
- BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
- template<typename T>
- inline bool operator != (octonion<T> const & lhs, octonion<T> const & rhs)
- BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
- #undef BOOST_OCTONION_NOT_EQUAL_GENERATOR
-
-
- // Note: the default values in the constructors of the complex and quaternions make for
- // a very complex and ambiguous situation; we have made choices to disambiguate.
- template<typename T, typename charT, class traits>
- ::std::basic_istream<charT,traits> & operator >> ( ::std::basic_istream<charT,traits> & is,
- octonion<T> & o)
- {
- #ifdef BOOST_NO_STD_LOCALE
- #else
- const ::std::ctype<charT> & ct = ::std::use_facet< ::std::ctype<charT> >(is.getloc());
- #endif /* BOOST_NO_STD_LOCALE */
-
- T a = T();
- T b = T();
- T c = T();
- T d = T();
- T e = T();
- T f = T();
- T g = T();
- T h = T();
-
- ::std::complex<T> u = ::std::complex<T>();
- ::std::complex<T> v = ::std::complex<T>();
- ::std::complex<T> x = ::std::complex<T>();
- ::std::complex<T> y = ::std::complex<T>();
-
- ::boost::math::quaternion<T> p = ::boost::math::quaternion<T>();
- ::boost::math::quaternion<T> q = ::boost::math::quaternion<T>();
-
- charT ch = charT();
- char cc;
-
- is >> ch; // get the first lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "("
- {
- is >> ch; // get the second lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "(("
- {
- is >> ch; // get the third lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((("
- {
- is.putback(ch);
-
- is >> u; // read "((u"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((u)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // format: (((a))), (((a,b)))
- {
- o = octonion<T>(u);
- }
- else if (cc == ',') // read "((u),"
- {
- p = ::boost::math::quaternion<T>(u);
-
- is >> q; // read "((u),q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // format: (((a)),q), (((a,b)),q)
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc ==',') // read "((u,"
- {
- is >> v; // read "((u,v"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((u,v)"
- {
- p = ::boost::math::quaternion<T>(u,v);
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // format: (((a),v)), (((a,b),v))
- {
- o = octonion<T>(p);
- }
- else if (cc == ',') // read "((u,v),"
- {
- is >> q; // read "(p,q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // format: (((a),v),q), (((a,b),v),q)
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "((a"
- {
- is.putback(ch);
-
- is >> a; // we extract the first component
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a))"
- {
- o = octonion<T>(a);
- }
- else if (cc == ',') // read "((a),"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((a),("
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((a),(("
- {
- is.putback(ch);
-
- is.putback(ch); // we backtrack twice, with the same value!
-
- is >> q; // read "((a),q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),q)"
- {
- p = ::boost::math::quaternion<T>(a);
-
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "((a),(c" or "((a),(e"
- {
- is.putback(ch);
-
- is >> c;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c)" (ambiguity resolution)
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c))"
- {
- o = octonion<T>(a,b,c);
- }
- else if (cc == ',') // read "((a),(c),"
- {
- u = ::std::complex<T>(a);
-
- v = ::std::complex<T>(c);
-
- is >> x; // read "((a),(c),x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c),x)"
- {
- o = octonion<T>(u,v,x);
- }
- else if (cc == ',') // read "((a),(c),x,"
- {
- is >> y; // read "((a),(c),x,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c),x,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a),(c," or "((a),(e,"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((a),(e,(" (ambiguity resolution)
- {
- p = ::boost::math::quaternion<T>(a);
-
- x = ::std::complex<T>(c); // "c" was actually "e"
-
- is.putback(ch); // we can only backtrace once
-
- is >> y; // read "((a),(e,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(e,y)"
- {
- q = ::boost::math::quaternion<T>(x,y);
-
- is >> ch; // get the next lexeme
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(e,y))"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "((a),(c,d" or "((a),(e,f"
- {
- is.putback(ch);
-
- is >> d;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c,d)" (ambiguity resolution)
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c,d))"
- {
- o = octonion<T>(a,b,c,d);
- }
- else if (cc == ',') // read "((a),(c,d),"
- {
- u = ::std::complex<T>(a);
-
- v = ::std::complex<T>(c,d);
-
- is >> x; // read "((a),(c,d),x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c,d),x)"
- {
- o = octonion<T>(u,v,x);
- }
- else if (cc == ',') // read "((a),(c,d),x,"
- {
- is >> y; // read "((a),(c,d),x,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(c,d),x,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a),(e,f," (ambiguity resolution)
- {
- p = ::boost::math::quaternion<T>(a);
-
- is >> g; // read "((a),(e,f,g" (too late to backtrack)
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(e,f,g)"
- {
- q = ::boost::math::quaternion<T>(c,d,g); // "c" was actually "e", and "d" was actually "f"
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(e,f,g))"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a),(e,f,g,"
- {
- is >> h; // read "((a),(e,f,g,h"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(e,f,g,h)"
- {
- q = ::boost::math::quaternion<T>(c,d,g,h); // "c" was actually "e", and "d" was actually "f"
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),(e,f,g,h))"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // read "((a),c" (ambiguity resolution)
- {
- is.putback(ch);
-
- is >> c; // we extract the third component
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),c)"
- {
- o = octonion<T>(a,b,c);
- }
- else if (cc == ',') // read "((a),c,"
- {
- is >> x; // read "((a),c,x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),c,x)"
- {
- o = octonion<T>(a,b,c,d,x.real(),x.imag());
- }
- else if (cc == ',') // read "((a),c,x,"
- {
- is >> y;if (!is.good()) goto finish; // read "((a),c,x,y"
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a),c,x,y)"
- {
- o = octonion<T>(a,b,c,d,x.real(),x.imag(),y.real(),y.imag());
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc ==',') // read "((a,"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((a,("
- {
- u = ::std::complex<T>(a);
-
- is.putback(ch); // can only backtrack so much
-
- is >> v; // read "((a,v"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,v)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,v))"
- {
- o = octonion<T>(u,v);
- }
- else if (cc == ',') // read "((a,v),"
- {
- p = ::boost::math::quaternion<T>(u,v);
-
- is >> q; // read "((a,v),q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,v),q)"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else
- {
- is.putback(ch);
-
- is >> b; // read "((a,b"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b))"
- {
- o = octonion<T>(a,b);
- }
- else if (cc == ',') // read "((a,b),"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((a,b),("
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((a,b),(("
- {
- p = ::boost::math::quaternion<T>(a,b);
-
- is.putback(ch);
-
- is.putback(ch); // we backtrack twice, with the same value
-
- is >> q; // read "((a,b),q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),q)"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "((a,b),(c" or "((a,b),(e"
- {
- is.putback(ch);
-
- is >> c;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c)" (ambiguity resolution)
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c))"
- {
- o = octonion<T>(a,b,c);
- }
- else if (cc == ',') // read "((a,b),(c),"
- {
- u = ::std::complex<T>(a,b);
-
- v = ::std::complex<T>(c);
-
- is >> x; // read "((a,b),(c),x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c),x)"
- {
- o = octonion<T>(u,v,x);
- }
- else if (cc == ',') // read "((a,b),(c),x,"
- {
- is >> y; // read "((a,b),(c),x,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c),x,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a,b),(c," or "((a,b),(e,"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "((a,b),(e,(" (ambiguity resolution)
- {
- u = ::std::complex<T>(a,b);
-
- x = ::std::complex<T>(c); // "c" is actually "e"
-
- is.putback(ch);
-
- is >> y; // read "((a,b),(e,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(e,y)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(e,y))"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "((a,b),(c,d" or "((a,b),(e,f"
- {
- is.putback(ch);
-
- is >> d;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c,d)" (ambiguity resolution)
- {
- u = ::std::complex<T>(a,b);
-
- v = ::std::complex<T>(c,d);
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c,d))"
- {
- o = octonion<T>(u,v);
- }
- else if (cc == ',') // read "((a,b),(c,d),"
- {
- is >> x; // read "((a,b),(c,d),x
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c,d),x)"
- {
- o = octonion<T>(u,v,x);
- }
- else if (cc == ',') // read "((a,b),(c,d),x,"
- {
- is >> y; // read "((a,b),(c,d),x,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(c,d),x,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a,b),(e,f," (ambiguity resolution)
- {
- p = ::boost::math::quaternion<T>(a,b); // too late to backtrack
-
- is >> g; // read "((a,b),(e,f,g"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(e,f,g)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(e,f,g))"
- {
- q = ::boost::math::quaternion<T>(c,d,g); // "c" is actually "e" and "d" is actually "f"
-
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a,b),(e,f,g,"
- {
- is >> h; // read "((a,b),(e,f,g,h"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b),(e,f,g,h)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read ((a,b),(e,f,g,h))"
- {
- q = ::boost::math::quaternion<T>(c,d,g,h); // "c" is actually "e" and "d" is actually "f"
-
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a,b,"
- {
- is >> c; // read "((a,b,c"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b,c)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b,c))"
- {
- o = octonion<T>(a,b,c);
- }
- else if (cc == ',') // read "((a,b,c),"
- {
- p = ::boost::math::quaternion<T>(a,b,c);
-
- is >> q; // read "((a,b,c),q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b,c),q)"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "((a,b,c,"
- {
- is >> d; // read "((a,b,c,d"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b,c,d)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b,c,d))"
- {
- o = octonion<T>(a,b,c,d);
- }
- else if (cc == ',') // read "((a,b,c,d),"
- {
- p = ::boost::math::quaternion<T>(a,b,c,d);
-
- is >> q; // read "((a,b,c,d),q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "((a,b,c,d),q)"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // read "(a"
- {
- is.putback(ch);
-
- is >> a; // we extract the first component
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a)"
- {
- o = octonion<T>(a);
- }
- else if (cc == ',') // read "(a,"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "(a,("
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "(a,(("
- {
- p = ::boost::math::quaternion<T>(a);
-
- is.putback(ch);
-
- is.putback(ch); // we backtrack twice, with the same value
-
- is >> q; // read "(a,q"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,q)"
- {
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "(a,(c" or "(a,(e"
- {
- is.putback(ch);
-
- is >> c;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c)" (ambiguity resolution)
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c))"
- {
- o = octonion<T>(a,b,c);
- }
- else if (cc == ',') // read "(a,(c),"
- {
- u = ::std::complex<T>(a);
-
- v = ::std::complex<T>(c);
-
- is >> x; // read "(a,(c),x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c),x)"
- {
- o = octonion<T>(u,v,x);
- }
- else if (cc == ',') // read "(a,(c),x,"
- {
- is >> y; // read "(a,(c),x,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c),x,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "(a,(c," or "(a,(e,"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "(a,(e,(" (ambiguity resolution)
- {
- u = ::std::complex<T>(a);
-
- x = ::std::complex<T>(c); // "c" is actually "e"
-
- is.putback(ch); // we backtrack
-
- is >> y; // read "(a,(e,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(e,y)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(e,y))"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "(a,(c,d" or "(a,(e,f"
- {
- is.putback(ch);
-
- is >> d;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c,d)" (ambiguity resolution)
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c,d))"
- {
- o = octonion<T>(a,b,c,d);
- }
- else if (cc == ',') // read "(a,(c,d),"
- {
- u = ::std::complex<T>(a);
-
- v = ::std::complex<T>(c,d);
-
- is >> x; // read "(a,(c,d),x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c,d),x)"
- {
- o = octonion<T>(u,v,x);
- }
- else if (cc == ',') // read "(a,(c,d),x,"
- {
- is >> y; // read "(a,(c,d),x,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(c,d),x,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "(a,(e,f," (ambiguity resolution)
- {
- p = ::boost::math::quaternion<T>(a);
-
- is >> g; // read "(a,(e,f,g"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(e,f,g)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(e,f,g))"
- {
- q = ::boost::math::quaternion<T>(c,d,g); // "c" is actually "e" and "d" is actually "f"
-
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else if (cc == ',') // read "(a,(e,f,g,"
- {
- is >> h; // read "(a,(e,f,g,h"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(e,f,g,h)"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,(e,f,g,h))"
- {
- q = ::boost::math::quaternion<T>(c,d,g,h); // "c" is actually "e" and "d" is actually "f"
-
- o = octonion<T>(p,q);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // read "(a,b" or "(a,c" (ambiguity resolution)
- {
- is.putback(ch);
-
- is >> b;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,b)" (ambiguity resolution)
- {
- o = octonion<T>(a,b);
- }
- else if (cc == ',') // read "(a,b," or "(a,c,"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "(a,c,(" (ambiguity resolution)
- {
- u = ::std::complex<T>(a);
-
- v = ::std::complex<T>(b); // "b" is actually "c"
-
- is.putback(ch); // we backtrack
-
- is >> x; // read "(a,c,x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,c,x)"
- {
- o = octonion<T>(u,v,x);
- }
- else if (cc == ',') // read "(a,c,x,"
- {
- is >> y; // read "(a,c,x,y" // read "(a,c,x"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,c,x,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "(a,b,c" or "(a,c,e"
- {
- is.putback(ch);
-
- is >> c;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,b,c)" (ambiguity resolution)
- {
- o = octonion<T>(a,b,c);
- }
- else if (cc == ',') // read "(a,b,c," or "(a,c,e,"
- {
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == '(') // read "(a,c,e,(") (ambiguity resolution)
- {
- u = ::std::complex<T>(a);
-
- v = ::std::complex<T>(b); // "b" is actually "c"
-
- x = ::std::complex<T>(c); // "c" is actually "e"
-
- is.putback(ch); // we backtrack
-
- is >> y; // read "(a,c,e,y"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,c,e,y)"
- {
- o = octonion<T>(u,v,x,y);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // read "(a,b,c,d" (ambiguity resolution)
- {
- is.putback(ch); // we backtrack
-
- is >> d;
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,b,c,d)"
- {
- o = octonion<T>(a,b,c,d);
- }
- else if (cc == ',') // read "(a,b,c,d,"
- {
- is >> e; // read "(a,b,c,d,e"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,b,c,d,e)"
- {
- o = octonion<T>(a,b,c,d,e);
- }
- else if (cc == ',') // read "(a,b,c,d,e,"
- {
- is >> f; // read "(a,b,c,d,e,f"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,b,c,d,e,f)"
- {
- o = octonion<T>(a,b,c,d,e,f);
- }
- else if (cc == ',') // read "(a,b,c,d,e,f,"
- {
- is >> g; // read "(a,b,c,d,e,f,g" // read "(a,b,c,d,e,f"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,b,c,d,e,f,g)"
- {
- o = octonion<T>(a,b,c,d,e,f,g);
- }
- else if (cc == ',') // read "(a,b,c,d,e,f,g,"
- {
- is >> h; // read "(a,b,c,d,e,f,g,h" // read "(a,b,c,d,e,f,g" // read "(a,b,c,d,e,f"
-
- if (!is.good()) goto finish;
-
- is >> ch; // get the next lexeme
-
- if (!is.good()) goto finish;
-
- #ifdef BOOST_NO_STD_LOCALE
- cc = ch;
- #else
- cc = ct.narrow(ch, char());
- #endif /* BOOST_NO_STD_LOCALE */
-
- if (cc == ')') // read "(a,b,c,d,e,f,g,h)"
- {
- o = octonion<T>(a,b,c,d,e,f,g,h);
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // error
- {
- is.setstate(::std::ios_base::failbit);
- }
- }
- }
- else // format: a
- {
- is.putback(ch);
-
- is >> a; // we extract the first component
-
- if (!is.good()) goto finish;
-
- o = octonion<T>(a);
- }
-
- finish:
- return(is);
- }
-
-
- template<typename T, typename charT, class traits>
- ::std::basic_ostream<charT,traits> & operator << ( ::std::basic_ostream<charT,traits> & os,
- octonion<T> const & o)
- {
- ::std::basic_ostringstream<charT,traits> s;
-
- s.flags(os.flags());
- #ifdef BOOST_NO_STD_LOCALE
- #else
- s.imbue(os.getloc());
- #endif /* BOOST_NO_STD_LOCALE */
- s.precision(os.precision());
-
- s << '(' << o.R_component_1() << ','
- << o.R_component_2() << ','
- << o.R_component_3() << ','
- << o.R_component_4() << ','
- << o.R_component_5() << ','
- << o.R_component_6() << ','
- << o.R_component_7() << ','
- << o.R_component_8() << ')';
-
- return os << s.str();
- }
-
-
- // values
-
- template<typename T>
- inline T real(octonion<T> const & o)
- {
- return(o.real());
- }
-
-
- template<typename T>
- inline octonion<T> unreal(octonion<T> const & o)
- {
- return(o.unreal());
- }
-
-
- #define BOOST_OCTONION_VALARRAY_LOADER \
- using ::std::valarray; \
- \
- valarray<T> temp(8); \
- \
- temp[0] = o.R_component_1(); \
- temp[1] = o.R_component_2(); \
- temp[2] = o.R_component_3(); \
- temp[3] = o.R_component_4(); \
- temp[4] = o.R_component_5(); \
- temp[5] = o.R_component_6(); \
- temp[6] = o.R_component_7(); \
- temp[7] = o.R_component_8();
-
-
- template<typename T>
- inline T sup(octonion<T> const & o)
- {
- #ifdef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
- using ::std::abs;
- #endif /* BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP */
-
- BOOST_OCTONION_VALARRAY_LOADER
-
- return((abs(temp).max)());
- }
-
-
- template<typename T>
- inline T l1(octonion<T> const & o)
- {
- #ifdef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
- using ::std::abs;
- #endif /* BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP */
-
- BOOST_OCTONION_VALARRAY_LOADER
-
- return(abs(temp).sum());
- }
-
-
- template<typename T>
- inline T abs(const octonion<T> & o)
- {
- #ifdef BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP
- using ::std::abs;
- #endif /* BOOST_NO_ARGUMENT_DEPENDENT_LOOKUP */
-
- using ::std::sqrt;
-
- BOOST_OCTONION_VALARRAY_LOADER
-
- T maxim = (abs(temp).max)(); // overflow protection
-
- if (maxim == static_cast<T>(0))
- {
- return(maxim);
- }
- else
- {
- T mixam = static_cast<T>(1)/maxim; // prefer multiplications over divisions
-
- temp *= mixam;
-
- temp *= temp;
-
- return(maxim*sqrt(temp.sum()));
- }
-
- //return(::std::sqrt(norm(o)));
- }
-
-
- #undef BOOST_OCTONION_VALARRAY_LOADER
-
-
- // Note: This is the Cayley norm, not the Euclidian norm...
-
- template<typename T>
- inline T norm(octonion<T> const & o)
- {
- return(real(o*conj(o)));
- }
-
-
- template<typename T>
- inline octonion<T> conj(octonion<T> const & o)
- {
- return(octonion<T>( +o.R_component_1(),
- -o.R_component_2(),
- -o.R_component_3(),
- -o.R_component_4(),
- -o.R_component_5(),
- -o.R_component_6(),
- -o.R_component_7(),
- -o.R_component_8()));
- }
-
-
- // Note: There is little point, for the octonions, to introduce the equivalents
- // to the complex "arg" and the quaternionic "cylindropolar".
-
-
- template<typename T>
- inline octonion<T> spherical(T const & rho,
- T const & theta,
- T const & phi1,
- T const & phi2,
- T const & phi3,
- T const & phi4,
- T const & phi5,
- T const & phi6)
- {
- using ::std::cos;
- using ::std::sin;
-
- //T a = cos(theta)*cos(phi1)*cos(phi2)*cos(phi3)*cos(phi4)*cos(phi5)*cos(phi6);
- //T b = sin(theta)*cos(phi1)*cos(phi2)*cos(phi3)*cos(phi4)*cos(phi5)*cos(phi6);
- //T c = sin(phi1)*cos(phi2)*cos(phi3)*cos(phi4)*cos(phi5)*cos(phi6);
- //T d = sin(phi2)*cos(phi3)*cos(phi4)*cos(phi5)*cos(phi6);
- //T e = sin(phi3)*cos(phi4)*cos(phi5)*cos(phi6);
- //T f = sin(phi4)*cos(phi5)*cos(phi6);
- //T g = sin(phi5)*cos(phi6);
- //T h = sin(phi6);
-
- T courrant = static_cast<T>(1);
-
- T h = sin(phi6);
-
- courrant *= cos(phi6);
-
- T g = sin(phi5)*courrant;
-
- courrant *= cos(phi5);
-
- T f = sin(phi4)*courrant;
-
- courrant *= cos(phi4);
-
- T e = sin(phi3)*courrant;
-
- courrant *= cos(phi3);
-
- T d = sin(phi2)*courrant;
-
- courrant *= cos(phi2);
-
- T c = sin(phi1)*courrant;
-
- courrant *= cos(phi1);
-
- T b = sin(theta)*courrant;
- T a = cos(theta)*courrant;
-
- return(rho*octonion<T>(a,b,c,d,e,f,g,h));
- }
-
-
- template<typename T>
- inline octonion<T> multipolar(T const & rho1,
- T const & theta1,
- T const & rho2,
- T const & theta2,
- T const & rho3,
- T const & theta3,
- T const & rho4,
- T const & theta4)
- {
- using ::std::cos;
- using ::std::sin;
-
- T a = rho1*cos(theta1);
- T b = rho1*sin(theta1);
- T c = rho2*cos(theta2);
- T d = rho2*sin(theta2);
- T e = rho3*cos(theta3);
- T f = rho3*sin(theta3);
- T g = rho4*cos(theta4);
- T h = rho4*sin(theta4);
-
- return(octonion<T>(a,b,c,d,e,f,g,h));
- }
-
-
- template<typename T>
- inline octonion<T> cylindrical(T const & r,
- T const & angle,
- T const & h1,
- T const & h2,
- T const & h3,
- T const & h4,
- T const & h5,
- T const & h6)
- {
- using ::std::cos;
- using ::std::sin;
-
- T a = r*cos(angle);
- T b = r*sin(angle);
-
- return(octonion<T>(a,b,h1,h2,h3,h4,h5,h6));
- }
-
-
- template<typename T>
- inline octonion<T> exp(octonion<T> const & o)
- {
- using ::std::exp;
- using ::std::cos;
-
- using ::boost::math::sinc_pi;
-
- T u = exp(real(o));
-
- T z = abs(unreal(o));
-
- T w = sinc_pi(z);
-
- return(u*octonion<T>(cos(z),
- w*o.R_component_2(), w*o.R_component_3(),
- w*o.R_component_4(), w*o.R_component_5(),
- w*o.R_component_6(), w*o.R_component_7(),
- w*o.R_component_8()));
- }
-
-
- template<typename T>
- inline octonion<T> cos(octonion<T> const & o)
- {
- using ::std::sin;
- using ::std::cos;
- using ::std::cosh;
-
- using ::boost::math::sinhc_pi;
-
- T z = abs(unreal(o));
-
- T w = -sin(o.real())*sinhc_pi(z);
-
- return(octonion<T>(cos(o.real())*cosh(z),
- w*o.R_component_2(), w*o.R_component_3(),
- w*o.R_component_4(), w*o.R_component_5(),
- w*o.R_component_6(), w*o.R_component_7(),
- w*o.R_component_8()));
- }
-
-
- template<typename T>
- inline octonion<T> sin(octonion<T> const & o)
- {
- using ::std::sin;
- using ::std::cos;
- using ::std::cosh;
-
- using ::boost::math::sinhc_pi;
-
- T z = abs(unreal(o));
-
- T w = +cos(o.real())*sinhc_pi(z);
-
- return(octonion<T>(sin(o.real())*cosh(z),
- w*o.R_component_2(), w*o.R_component_3(),
- w*o.R_component_4(), w*o.R_component_5(),
- w*o.R_component_6(), w*o.R_component_7(),
- w*o.R_component_8()));
- }
-
-
- template<typename T>
- inline octonion<T> tan(octonion<T> const & o)
- {
- return(sin(o)/cos(o));
- }
-
-
- template<typename T>
- inline octonion<T> cosh(octonion<T> const & o)
- {
- return((exp(+o)+exp(-o))/static_cast<T>(2));
- }
-
-
- template<typename T>
- inline octonion<T> sinh(octonion<T> const & o)
- {
- return((exp(+o)-exp(-o))/static_cast<T>(2));
- }
-
-
- template<typename T>
- inline octonion<T> tanh(octonion<T> const & o)
- {
- return(sinh(o)/cosh(o));
- }
-
-
- template<typename T>
- octonion<T> pow(octonion<T> const & o,
- int n)
- {
- if (n > 1)
- {
- int m = n>>1;
-
- octonion<T> result = pow(o, m);
-
- result *= result;
-
- if (n != (m<<1))
- {
- result *= o; // n odd
- }
-
- return(result);
- }
- else if (n == 1)
- {
- return(o);
- }
- else if (n == 0)
- {
- return(octonion<T>(static_cast<T>(1)));
- }
- else /* n < 0 */
- {
- return(pow(octonion<T>(static_cast<T>(1))/o,-n));
- }
- }
-
-
- // helper templates for converting copy constructors (definition)
-
- namespace detail
- {
-
- template< typename T,
- typename U
- >
- octonion<T> octonion_type_converter(octonion<U> const & rhs)
- {
- return(octonion<T>( static_cast<T>(rhs.R_component_1()),
- static_cast<T>(rhs.R_component_2()),
- static_cast<T>(rhs.R_component_3()),
- static_cast<T>(rhs.R_component_4()),
- static_cast<T>(rhs.R_component_5()),
- static_cast<T>(rhs.R_component_6()),
- static_cast<T>(rhs.R_component_7()),
- static_cast<T>(rhs.R_component_8())));
- }
- }
- }
- }
- #endif /* BOOST_OCTONION_HPP */
|