
(/VERSIONCHECK 2) 

(DEFPARAMETER |FieldOfPrimeCharacteristic;AL| 'NIL) 

(DEFUN |FieldOfPrimeCharacteristic| ()
  (LET (#:G1817)
    (COND
      (|FieldOfPrimeCharacteristic;AL|)
      (T (SETQ |FieldOfPrimeCharacteristic;AL|
               (|FieldOfPrimeCharacteristic;|)))))) 

(DEFUN |FieldOfPrimeCharacteristic;| ()
  (PROG (#0=#:G1815)
    (RETURN
      (PROG1 (LETT #0#
                   (|Join| (|Field|) (|CharacteristicNonZero|)
                           (|mkCategory| '|domain|
                               '(((|order| ((|OnePointCompletion|
                                             (|PositiveInteger|))
                                            $))
                                  T)
                                 ((|discreteLog|
                                      ((|Union| (|NonNegativeInteger|)
                                        "failed")
                                       $ $))
                                  T)
                                 ((|primeFrobenius| ($ $)) T)
                                 ((|primeFrobenius|
                                      ($ $ (|NonNegativeInteger|)))
                                  T))
                               NIL
                               '((|NonNegativeInteger|)
                                 (|OnePointCompletion|
                                     (|PositiveInteger|)))
                               NIL))
                   |FieldOfPrimeCharacteristic|)
        (SETELT #0# 0 '(|FieldOfPrimeCharacteristic|)))))) 

(MAKEPROP '|FieldOfPrimeCharacteristic| 'NILADIC T) 
