167006 |
^TYPEIRRQ?
|
( ob → flag )
Is ob an irrquad?
|
168006 |
^DTYPEIRRQ?
|
( ob → ob flag )
DUP, then ^TYPEIRRQ?.
|
165006 |
^QXNDext
|
( irrq → a b c )
b=0 and c=1 if stack level 1 is not an irrq.
|
166006 |
^NDXQext
|
( a b c → irrq )
|
2D8006 |
^IRRQ#ULTIMATE
|
( ob → # c )
Finds « depth and returns ultimate c of an
irrq.
|
508006 |
^QCONJext
|
( irrq → irrq' )
irrq-conjugate of an irrq.
This is not the complex conjugate.
|
509006 |
^QABSext
|
( irrq → irrq sign )
Finds the sign of an irrq.
Work always if irrq is made of Z.
|
51A006 |
^QNORMext
|
( Zirr → a^2-b*c^2 )
Irrq-norm of an irrquad.
This is not the complex modulus.
|
4D4006 |
^SECOSQFFext
|
( :: x<< a b c x>> ; → { fact1 mult1 ... factn multn } )
Factorization of irrquads and Gauss integers.
|
124006 |
^PREPARext
|
( o1 o2 → a1 b1 c1 a2 b2 c2 )
Returns irrquad decomposition of o1 and o2.
with either c1=c2 or c1 and c2 have no
factors in comon. c1<c2, ordering handled
by LESSCOMPLEX? is made by type, then by CRC.
|
2DA006 |
^LISTIRRQ
|
( ob {} → {}' )
Add the C-part of all irrquads of object to
the list.
|