12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880188118821883188418851886188718881889189018911892189318941895189618971898189919001901190219031904190519061907190819091910191119121913191419151916191719181919192019211922192319241925192619271928192919301931193219331934193519361937193819391940194119421943194419451946194719481949195019511952195319541955195619571958195919601961196219631964196519661967196819691970197119721973197419751976197719781979198019811982198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520262027202820292030203120322033203420352036203720382039204020412042204320442045204620472048204920502051205220532054205520562057205820592060206120622063206420652066206720682069207020712072207320742075207620772078207920802081208220832084208520862087208820892090209120922093209420952096209720982099210021012102210321042105210621072108210921102111211221132114211521162117211821192120212121222123212421252126212721282129213021312132213321342135213621372138213921402141214221432144214521462147214821492150215121522153215421552156215721582159216021612162216321642165216621672168216921702171217221732174217521762177217821792180218121822183218421852186218721882189219021912192219321942195219621972198219922002201220222032204220522062207220822092210221122122213221422152216221722182219222022212222222322242225222622272228222922302231223222332234223522362237223822392240224122422243224422452246224722482249225022512252225322542255225622572258225922602261226222632264226522662267226822692270227122722273227422752276227722782279228022812282228322842285228622872288228922902291229222932294229522962297229822992300230123022303230423052306230723082309231023112312231323142315231623172318231923202321232223232324232523262327232823292330233123322333233423352336233723382339234023412342234323442345234623472348234923502351235223532354235523562357235823592360236123622363236423652366236723682369237023712372237323742375237623772378237923802381238223832384238523862387238823892390239123922393239423952396239723982399240024012402240324042405240624072408240924102411241224132414241524162417241824192420242124222423242424252426242724282429243024312432243324342435243624372438243924402441244224432444244524462447244824492450245124522453245424552456245724582459246024612462246324642465246624672468246924702471247224732474247524762477247824792480248124822483248424852486248724882489249024912492249324942495249624972498249925002501250225032504250525062507250825092510251125122513251425152516251725182519252025212522252325242525252625272528252925302531253225332534253525362537253825392540254125422543254425452546254725482549255025512552255325542555255625572558255925602561256225632564256525662567256825692570257125722573257425752576257725782579258025812582258325842585258625872588258925902591259225932594259525962597259825992600260126022603260426052606260726082609261026112612261326142615261626172618261926202621262226232624262526262627262826292630263126322633263426352636263726382639264026412642264326442645264626472648264926502651265226532654265526562657265826592660266126622663266426652666266726682669267026712672267326742675267626772678267926802681268226832684268526862687268826892690269126922693269426952696269726982699270027012702270327042705270627072708270927102711271227132714271527162717271827192720272127222723272427252726272727282729273027312732273327342735273627372738273927402741274227432744274527462747274827492750275127522753275427552756275727582759276027612762276327642765276627672768276927702771277227732774277527762777277827792780278127822783278427852786278727882789279027912792279327942795279627972798279928002801280228032804280528062807280828092810281128122813281428152816281728182819282028212822282328242825282628272828282928302831283228332834283528362837283828392840284128422843284428452846284728482849285028512852285328542855285628572858285928602861286228632864286528662867286828692870287128722873287428752876287728782879288028812882288328842885288628872888288928902891289228932894289528962897289828992900290129022903290429052906290729082909291029112912291329142915291629172918291929202921292229232924292529262927292829292930293129322933293429352936293729382939294029412942294329442945294629472948294929502951295229532954295529562957295829592960296129622963296429652966296729682969297029712972297329742975297629772978297929802981298229832984298529862987298829892990299129922993299429952996299729982999300030013002300330043005300630073008300930103011301230133014301530163017301830193020302130223023302430253026302730283029303030313032303330343035303630373038303930403041304230433044304530463047304830493050305130523053305430553056305730583059306030613062306330643065306630673068306930703071307230733074307530763077307830793080308130823083308430853086308730883089309030913092309330943095309630973098309931003101310231033104310531063107310831093110311131123113311431153116311731183119312031213122312331243125312631273128312931303131313231333134313531363137313831393140314131423143314431453146314731483149315031513152315331543155315631573158315931603161316231633164316531663167316831693170317131723173317431753176317731783179318031813182318331843185318631873188318931903191319231933194319531963197319831993200320132023203320432053206320732083209321032113212321332143215321632173218321932203221322232233224322532263227322832293230323132323233323432353236323732383239324032413242324332443245324632473248324932503251325232533254325532563257325832593260326132623263326432653266326732683269327032713272327332743275327632773278327932803281328232833284328532863287328832893290329132923293329432953296329732983299330033013302330333043305330633073308330933103311331233133314331533163317331833193320332133223323332433253326332733283329333033313332333333343335333633373338333933403341334233433344334533463347334833493350335133523353335433553356335733583359336033613362336333643365336633673368336933703371337233733374337533763377337833793380338133823383338433853386338733883389339033913392339333943395339633973398339934003401340234033404340534063407340834093410341134123413341434153416341734183419342034213422342334243425342634273428342934303431343234333434343534363437343834393440344134423443344434453446344734483449345034513452345334543455345634573458345934603461346234633464346534663467346834693470347134723473347434753476347734783479348034813482348334843485348634873488348934903491349234933494349534963497349834993500350135023503350435053506350735083509351035113512351335143515351635173518351935203521352235233524352535263527352835293530353135323533353435353536353735383539354035413542354335443545354635473548354935503551355235533554355535563557355835593560356135623563356435653566356735683569357035713572357335743575357635773578357935803581358235833584358535863587358835893590359135923593359435953596359735983599360036013602360336043605360636073608360936103611361236133614361536163617361836193620362136223623362436253626362736283629363036313632363336343635363636373638363936403641364236433644364536463647364836493650365136523653365436553656365736583659366036613662366336643665366636673668366936703671367236733674367536763677367836793680368136823683368436853686368736883689369036913692369336943695369636973698369937003701370237033704370537063707370837093710371137123713371437153716371737183719372037213722372337243725372637273728372937303731373237333734373537363737373837393740374137423743374437453746374737483749375037513752375337543755375637573758375937603761376237633764376537663767376837693770377137723773377437753776377737783779378037813782378337843785378637873788378937903791379237933794379537963797379837993800380138023803380438053806380738083809381038113812381338143815381638173818381938203821382238233824382538263827382838293830383138323833383438353836383738383839384038413842384338443845384638473848384938503851385238533854385538563857385838593860386138623863386438653866386738683869387038713872387338743875387638773878387938803881388238833884388538863887388838893890389138923893389438953896389738983899390039013902390339043905390639073908390939103911391239133914391539163917391839193920392139223923392439253926392739283929393039313932393339343935393639373938393939403941394239433944394539463947394839493950395139523953395439553956395739583959396039613962396339643965396639673968396939703971397239733974397539763977397839793980398139823983398439853986398739883989399039913992399339943995399639973998399940004001400240034004400540064007400840094010401140124013401440154016401740184019402040214022402340244025402640274028402940304031403240334034403540364037403840394040404140424043404440454046404740484049405040514052405340544055405640574058405940604061406240634064406540664067406840694070407140724073407440754076407740784079408040814082408340844085408640874088408940904091409240934094409540964097409840994100410141024103410441054106410741084109411041114112411341144115411641174118411941204121412241234124412541264127412841294130413141324133413441354136413741384139414041414142414341444145414641474148414941504151415241534154415541564157415841594160416141624163416441654166416741684169417041714172417341744175417641774178417941804181418241834184418541864187418841894190419141924193419441954196419741984199420042014202420342044205420642074208420942104211421242134214421542164217421842194220422142224223422442254226422742284229423042314232423342344235423642374238423942404241424242434244424542464247424842494250 |
- // 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>
- 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 */
|