
(/VERSIONCHECK 2) 

(DEFUN |FPC-;primeFrobenius;2S;1| (|a| $)
  (SPADCALL |a| (SPADCALL (QREFELT $ 8)) (QREFELT $ 9))) 

(DEFUN |FPC-;primeFrobenius;SNniS;2| (|a| |s| $)
  (SPADCALL |a| (EXPT (SPADCALL (QREFELT $ 8)) |s|) (QREFELT $ 9))) 

(DEFUN |FieldOfPrimeCharacteristic&| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|)
              . #0=(|FieldOfPrimeCharacteristic&|))
        (LETT |dv$| (LIST '|FieldOfPrimeCharacteristic&| DV$1) . #0#)
        (LETT $ (GETREFV 12) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        $)))) 

(MAKEPROP '|FieldOfPrimeCharacteristic&| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|)
             (|NonNegativeInteger|) (0 . |characteristic|) (4 . **)
             |FPC-;primeFrobenius;2S;1| |FPC-;primeFrobenius;SNniS;2|)
          '#(|primeFrobenius| 10) 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 11
                                '(0 6 7 8 2 6 0 0 7 9 1 0 0 0 10 2 0 0
                                  0 7 11)))))
          '|lookupComplete|)) 
