/* Ċ Ġ* ĠCopyright Ġ 2 0 1 8 - 2 0 2 1 ĠK Math Ġcontributors . Ċ Ġ* ĠUse Ġof Ġthis Ġsource Ġcode Ġis Ġgoverned Ġby Ġthe ĠApache Ġ 2 . 0 Ġlicense Ġthat Ġcan Ġbe Ġfound Ġin Ġthe Ġlicense / LICENSE . txt Ġfile . Ċ Ġ*/ Ċ Ċ package Ġspace . k science . k math . test utils Ċ Ċ import Ġspace . k science . k math . operations . Field Ċ import Ġspace . k science . k math . operations . invoke Ċ import Ġkotlin . test . assertEquals Ċ import Ġkotlin . test . assertNot Equals Ċ Ċ internal Ġclass ĠField Verifier < T , ĠA Ġ: ĠField < T >>( ĊĠĠĠ Ġalgebra : ĠA , Ġa : ĠT , Ġb : ĠT , Ġc : ĠT , Ġx : ĠNumber , Ċ ) Ġ: ĠRing Verifier < T , ĠA >( algebra , Ġa , Ġb , Ġc , Ġx ) Ġ{ ĊĊĠĠĠ Ġoverride Ġfun Ġverify () Ġ{ ĊĠĠĠĠĠĠĠ Ġsuper . verify () ĊĊĠĠĠĠĠĠĠ Ġalgebra Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals ( a Ġ+ Ġb , Ġb Ġ+ Ġa , Ġ" Addition Ġin Ġ$ algebra Ġis Ġnot Ġcom mut ative .") ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals ( a Ġ* Ġb , Ġb Ġ* Ġa , Ġ" Multip lication Ġin Ġ$ algebra Ġis Ġnot Ġcom mut ative .") ĊĠĠĠĠĠĠĠĠĠĠĠ Ġassert Not Equals ( a Ġ/ Ġb , Ġb Ġ/ Ġa , Ġ" Division Ġin Ġ$ algebra Ġis Ġnot Ġanti - com mut ative .") ĊĠĠĠĠĠĠĠĠĠĠĠ Ġassert Not Equals (( a Ġ/ Ġb ) Ġ/ Ġc , Ġa Ġ/ Ġ( b Ġ/ Ġc ), Ġ" Division Ġin Ġ$ algebra Ġis Ġassoci ative .") ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals (( a Ġ+ Ġb ) Ġ/ Ġc , Ġ( a Ġ/ Ġc ) Ġ+ Ġ( b Ġ/ Ġc ), Ġ" Division Ġin Ġ$ algebra Ġis Ġnot Ġright - distribut ive .") ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals ( a , Ġa Ġ/ Ġone , Ġ"$ one Ġin Ġ$ algebra Ġis Ġnot Ġneutral Ġdivision Ġelement .") ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals ( one , Ġone Ġ/ Ġa Ġ* Ġa , Ġ"$ algebra Ġdoes Ġnot Ġprovide Ġsingle Ġre ci pro cal Ġelement .") ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals ( zero Ġ/ Ġa , Ġzero , Ġ"$ zero Ġin Ġ$ algebra Ġis Ġnot Ġleft Ġneutral Ġelement Ġfor Ġdivision .") ĊĠĠĠĠĠĠĠĠĠĠĠ ĠassertEquals (- one , Ġa Ġ/ Ġ(- a ), Ġ" Division Ġby Ġsign Ġre versal Ġelement Ġin Ġ$ algebra Ġdoes Ġnot Ġgive Ġ${ - one }. ") ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ } Ċ