(FILECREATED "26-OCT-73 18:42:53" S-NEWGEN)


  (LISPXPRINT (QUOTE NEWGENVARS)
              T)
  (RPAQQ NEWGENVARS ((* This file was generated as another 
                        alternate-generation-method. It's not been used 
                        much here-to-fore)
          (FNS NOFV-RINGS' RINGS' FVPARTITIONS' VALENCE' CLBYVALENCE' 
               PARTFVS ≠RINGS PARTFV1)))

(* This file was generated as another alternate-generation-method.
It's not been used much here-to-fore)

(DEFINEQ

(NOFV-RINGS'
  [LAMBDA (CLL)
    (FOR STRUC IN (NOFVRINGS (MAPCAR CLL (FUNCTION CLCOUNT)))
       JOIN (STRUCTURESWITHATOMS CLL STRUC])

(RINGS'
  [LAMBDA (FVCL CLL)
    (COND
      (FVCL (FOR FVP' IN (FVPARTITIONS' CLL FVCL) FOR S
               IN (NOFV-RINGS' FVP')
                  XLIST S))
      (T (NOFV-RINGS' CLL])

(FVPARTITIONS'
  [LAMBDA (CLL FVCL)
    (FOR FVP IN (FVPARTITION1 (CLCOUNT FVCL)
                              (MAPCAR (CDR CLL)
                                      (FUNCTION CLCOUNT))
                              1)
               FOR FVP'
       IN (PARTFVS (CONS NIL (MAPCAR FVP (FUNCTION REVERSE)))
                   FVCL CLL)
          XLIST
          (CLBYVALENCE' FVP'])

(VALENCE'
  [LAMBDA (X)
    (IDIFFERENCE (VALENCE (CAR X))
                 (CLCOUNT (CDR X])

(CLBYVALENCE'
  [LAMBDA (CL)
    (SETQ CL (GROUPBY [FUNCTION (LAMBDA (PR)
                          (VALENCE' (CAR PR]
                      CL))
    (FOR I FROM 2 TO (maximum CAR in CL) COLLECT (LMASSOC I CL NIL])

(PARTFVS
  [LAMBDA (FVPART FVCL CLL)
    (OR (AND FVPART CLL
             (FOR FV1 IN (CLPARTS FVCL (TD (CAR FVPART)
                                           1))
                        FOR P1
                IN (PARTFV1 (CONS (IDIFFERENCE (CLCOUNT (CAR CLL))
                                               (SUMOF (CAR FVPART)))
                                  (CAR FVPART))
                            FV1
                            (CAR CLL)
                            0)
                  FOR RL
                IN (PARTFVS (CDR FVPART)
                            (CLDIFF FVCL FV1)
                            (CDR CLL))
                   XLIST
                   (APPEND P1 RL)))
        (QUOTE (NIL])

(≠RINGS
  [LAMBDA (U CL)
    (RINGS' (LIST (CONS (QUOTE FV)
                        (COMPUTEFV U CL)))
            (CLBYVALENCE CL])

(PARTFV1
  [LAMBDA (FVL FVCL CL NFV)
    (OR [AND FVCL FVL CL
             (FOR R1 IN (CLPARTS FVCL (ITIMES NFV (CAR FVL)))
                       FOR R2
                IN (CLPARTS CL (CAR FVL)) FOR R4
                IN (CLEQUALPARTS R1 (CAR FVL)
                                 NFV)
                AS R5 IS (CLCREATE R4) FOR R6
                IN (CLPARTITIONS R2 (CDRLIST R5)) FOR RESTPART
                IN (PARTFV1 (CDR FVL)
                            (CLDIFF FVCL R1)
                            (CLDIFF CL R2)
                            (ADD1 NFV))
                   XLIST
                   (FOR FVPART IN R5 AS ATPART IN R6 FOR ATPAIR
                      IN ATPART XLIST
                      FIRST RESTPART (CONS (CONS (CAR ATPAIR)
                                                 (CAR FVPART))
                                           (CDR ATPAIR]
        (LIST (MAPCAR CL (FUNCTION (LAMBDA (PR)
                          (CONS (LIST (CAR PR))
                                (CDR PR])
)
STOP