From 3d00a2311b92c467e0a316118a64919df1619d72 Mon Sep 17 00:00:00 2001 From: Eric Swenson Date: Sat, 7 Jul 2018 11:12:31 -0700 Subject: [PATCH] Add aljabr;user profil, which is needed for macsyma primer(). Primer doesn't work yet, however, because we need the actual primer material. --- src/aljabr/user.profil | 337 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 337 insertions(+) create mode 100644 src/aljabr/user.profil diff --git a/src/aljabr/user.profil b/src/aljabr/user.profil new file mode 100644 index 00000000..3a8863e1 --- /dev/null +++ b/src/aljabr/user.profil @@ -0,0 +1,337 @@ + +(|K.E.D.| $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(KWOK $CONSOLEPRIMER) +(AEZ $CONSOLEPRIMER) +(JSOL $CONSOLEPRIMER) +(JEFFH $CONSOLEPRIMER) +(MITRE $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(KARAS $CONSOLEPRIMER $CONSOLEPRIMER) +(SICC0 $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(JASPER $CONSOLEPRIMER) +(CMU $CONSOLEPRIMER $CONSOLEPRIMER) +(MDSUCB $CONSOLEPRIMER) +(RIM $CONSOLEPRIMER) +(CLIFF $CONSOLEPRIMER) +(LRK $CONSOLEPRIMER $CONSOLEPRIMER) +(RSFINN $CONSOLEPRIMER) +(KOVAR $CONSOLEPRIMER) +(CLEMW $CONSOLEPRIMER $CONSOLEPRIMER) +(CSTACY $CONSOLEPRIMER) +(MICHAE $CONSOLEPRIMER) +(JAYLF $CONSOLEPRIMER) +(SHC $CONSOLEPRIMER) +(DP $CONSOLEPRIMER $CONSOLEPRIMER) +(RMS $CONSOLEPRIMER) +(SNOW $CONSOLEPRIMER $CONSOLEPRIMER) +(COCO $CONSOLEPRIMER) +(PSM $CONSOLEPRIMER) +(ALLAN $CONSOLEPRIMER) +(MINH $CONSOLEPRIMER) +(JHC $CONSOLEPRIMER) +(CTW $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(V3WGS $CONSOLEPRIMER) +(SICC $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(MBM $CONSOLEPRIMER) +(PANDEY $CONSOLEPRIMER) +(FITZ $CONSOLEPRIMER $CONSOLEPRIMER) +(STEPHE $CONSOLEPRIMER) +(WCDW $CONSOLEPRIMER) +(MAZE $CONSOLEPRIMER $CONSOLEPRIMER) +(WEISE $CONSOLEPRIMER) +(MARKS $CONSOLEPRIMER) +(BIS $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(TXI $CONSOLEPRIMER) +(DESFZ $CONSOLEPRIMER) +(ELIOT $CONSOLEPRIMER) +(CLJ $CONSOLEPRIMER) +(LARSEN $CONSOLEPRIMER $CONSOLEPRIMER) +(CORWIN $CONSOLEPRIMER) +(DELAHO $CONSOLEPRIMER) +(GREGC $CONSOLEPRIMER) +(HOEY $CONSOLEPRIMER) +(GSG $CONSOLEPRIMER $CONSOLEPRIMER) +(FIDU $CONSOLEPRIMER $CONSOLEPRIMER) +(PACE $CONSOLEPRIMER) +(LINC $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(MHLJBC $CONSOLEPRIMER) +(CFM $CONSOLEPRIMER) +(TME $CONSOLEPRIMER) +(MAANDR $CONSOLEPRIMER $CONSOLEPRIMER) +(BOYLE $CONSOLEPRIMER) +(MMB $CONSOLEPRIMER) +(NEEDY $CONSOLEPRIMER) +(HEAD $CONSOLEPRIMER) +(RONALD $CONSOLEPRIMER) +(LIGHT $CONSOLEPRIMER) +(GZ $CONSOLEPRIMER) +(DRINK $CONSOLEPRIMER $CONSOLEPRIMER) +(JGREIF $CONSOLEPRIMER) +(JIMK $CONSOLEPRIMER) +(POURNE $CONSOLEPRIMER) +(DTS $CONSOLEPRIMER) +(BYRNE $CONSOLEPRIMER) +(DREIFU $CONSOLEPRIMER) +(GAK $CONSOLEPRIMER) +(WTZ $CONSOLEPRIMER) +(SEAMUS $CONSOLEPRIMER) +(SOMEN $CONSOLEPRIMER) +(JMF $CONSOLEPRIMER) +(JMF0 $CONSOLEPRIMER) +(JRF $CONSOLEPRIMER $CONSOLEPRIMER) +(CA $CONSOLEPRIMER) +(JAL $CONSOLEPRIMER) +(CRYPTE $CONSOLEPRIMER) +(HARV $CONSOLEPRIMER) +(SAM $CONSOLEPRIMER) +(KED $CONSOLEPRIMER) +(JURGEN $CONSOLEPRIMER) +(PHAGE $CONSOLEPRIMER) +(CHANG $CONSOLEPRIMER) +(HERMAN $CONSOLEPRIMER) +(LUEKER $CONSOLEPRIMER) +(JJD $CONSOLEPRIMER) +(CRUZ $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(MDOVE $CONSOLEPRIMER $CONSOLEPRIMER) +(QBOL $CONSOLEPRIMER) +(TEACH1 $CONSOLEPRIMER) +(FNORD $CONSOLEPRIMER) +(SGR0 $CONSOLEPRIMER) +(ARONO $CONSOLEPRIMER) +(JPG $CONSOLEPRIMER) +(JFOWEN $CONSOLEPRIMER) +(ELLEN $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(KUSH $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(SRG $CONSOLEPRIMER) +(KWH0 $CONSOLEPRIMER) +(KWH $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(SDR $CONSOLEPRIMER) +(JPLGDA $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(RAMI $CONSOLEPRIMER) +(JHUGHE $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(CORNER $CONSOLEPRIMER) +(EMERY $CONSOLEPRIMER) +(RICK $CONSOLEPRIMER) +(SHUNLI $CONSOLEPRIMER) +(WILEE $CONSOLEPRIMER) +(FNT $CONSOLEPRIMER) +(WLT $CONSOLEPRIMER) +(IMARIN $CONSOLEPRIMER $CONSOLEPRIMER) +(FUDGE $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(NEWMAN $CONSOLEPRIMER $CONSOLEPRIMER) +(NITOWL $CONSOLEPRIMER) +(PLK $CONSOLEPRIMER) +(DERWAY $CONSOLEPRIMER) +(KORSAN $CONSOLEPRIMER) +(TOPHER $CONSOLEPRIMER) +(MWMT $CONSOLEPRIMER) +(ZARMER $CONSOLEPRIMER) +(GR33LL $CONSOLEPRIMER) +(LANZIN $CONSOLEPRIMER $CONSOLEPRIMER) +(NELSON $CONSOLEPRIMER) +(JRD $CONSOLEPRIMER $CONSOLEPRIMER) +(DBL $CONSOLEPRIMER) +(RAZ $CONSOLEPRIMER) +(SCARFF $CONSOLEPRIMER) +(MIKEMA $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(HIRGEL $CONSOLEPRIMER) +(DDHOFF $CONSOLEPRIMER) +(ELL $CONSOLEPRIMER) +(GLW $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(CLAIII $CONSOLEPRIMER) +(OXU $CONSOLEPRIMER $CONSOLEPRIMER) +(DEH $CONSOLEPRIMER) +(DKR $CONSOLEPRIMER) +(STEW $CONSOLEPRIMER) +(SPERRY $CONSOLEPRIMER) +(LOGIC $CONSOLEPRIMER $CONSOLEPRIMER) +(11MARK $CONSOLEPRIMER) +(SYP $CONSOLEPRIMER) +(EWACH $CONSOLEPRIMER) +(KANNEL $CONSOLEPRIMER) +(RONLAR $CONSOLEPRIMER) +(MASTER $CONSOLEPRIMER) +(GPG $CONSOLEPRIMER) +(RAD $CONSOLEPRIMER) +(HEDI $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(ALAN $CONSOLEPRIMER) +(SHADOW $CONSOLEPRIMER) +(ROD $CONSOLEPRIMER $CONSOLEPRIMER) +(TAR $CONSOLEPRIMER) +(TTP0 $CONSOLEPRIMER) +(JHS $CONSOLEPRIMER) +(SMC $CONSOLEPRIMER) +(SATYA $CONSOLEPRIMER) +(JRV $CONSOLEPRIMER) +(CFFK $CONSOLEPRIMER) +(CARYN $CONSOLEPRIMER) +(AZB $CONSOLEPRIMER $CONSOLEPRIMER) +(RWH $CONSOLEPRIMER) +(MRFERR $CONSOLEPRIMER) +(JRCARY $CONSOLEPRIMER) +(YEKTA $CONSOLEPRIMER) +(CHANAN $CONSOLEPRIMER) +(GOLDY $CONSOLEPRIMER) +(RSH $CONSOLEPRIMER $CONSOLEPRIMER) +(PAUL! $CONSOLEPRIMER) +(GREN $CONSOLEPRIMER) +(ELF $CONSOLEPRIMER) +(SCALA $CONSOLEPRIMER) +(CHERRY $CONSOLEPRIMER) +(SIA $CONSOLEPRIMER) +(GED $CONSOLEPRIMER $CONSOLEPRIMER) +(SHSU $CONSOLEPRIMER) +(PAP $CONSOLEPRIMER) +(DMB $CONSOLEPRIMER) +(KM $CONSOLEPRIMER) +(VMB $CONSOLEPRIMER) +(PAAS $CONSOLEPRIMER) +(GM16KM $CONSOLEPRIMER) +(ANDI $CONSOLEPRIMER) +(KINWOO $CONSOLEPRIMER $CONSOLEPRIMER) +(CYPHER $CONSOLEPRIMER) +(CAVIN $CONSOLEPRIMER) +(BEAN $CONSOLEPRIMER) +(JLM $CONSOLEPRIMER) +(MHD $CONSOLEPRIMER) +(JW $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(KLM $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(DN $CONSOLEPRIMER) +(LTFMC $CONSOLEPRIMER $CONSOLEPRIMER) +(PSZ $CONSOLEPRIMER) +(KLUGEA $CONSOLEPRIMER) +(LOUIE $CONSOLEPRIMER $CONSOLEPRIMER) +(JSB $CONSOLEPRIMER $CONSOLEPRIMER) +(TRIEU $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(BOOK $CONSOLEPRIMER) +(ELIZC $CONSOLEPRIMER) +(WAN $CONSOLEPRIMER) +(BOYCE $CONSOLEPRIMER $CONSOLEPRIMER) +(WAIKIT $CONSOLEPRIMER) +(TACL $CONSOLEPRIMER) +(FTHEIL $CONSOLEPRIMER) +(RAMAR $CONSOLEPRIMER $CONSOLEPRIMER) +(ETHAN $CONSOLEPRIMER) +(LOU $CONSOLEPRIMER) +(STTDCJ $CONSOLEPRIMER) +(DMG $CONSOLEPRIMER) +(GRUNBA $CONSOLEPRIMER) +(OTTO $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(CLG $CONSOLEPRIMER) +(DTPO $CONSOLEPRIMER) +(LAEFSK $CONSOLEPRIMER) +(OAF $CONSOLEPRIMER) +(STEVER $CONSOLEPRIMER) +(ZOTZ $CONSOLEPRIMER) +(SALMON $CONSOLEPRIMER) +(BLH $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(LEECH $CONSOLEPRIMER) +(JOHNF $CONSOLEPRIMER) +(RJF $CONSOLEPRIMER) +(RARHH $CONSOLEPRIMER) +(MORTON $CONSOLEPRIMER) +(DC $CONSOLEPRIMER) +(JMC $CONSOLEPRIMER) +(GUALT $CONSOLEPRIMER) +(POTTER $CONSOLEPRIMER) +(MARKBO $CONSOLEPRIMER $CONSOLEPRIMER) +(DB $CONSOLEPRIMER) +(GHSCC $CONSOLEPRIMER) +(AVILA $CONSOLEPRIMER) +(RWK $CONSOLEPRIMER) +(STSHRP $CONSOLEPRIMER) +(LSH $CONSOLEPRIMER) +(PARMET $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(KLUGE $CONSOLEPRIMER) +(WEC $CONSOLEPRIMER) +(SAO $CONSOLEPRIMER) +(RAO $CONSOLEPRIMER) +(NESSUS $CONSOLEPRIMER) +(THF $CONSOLEPRIMER) +(BARRYS $CONSOLEPRIMER) +(XERX $CONSOLEPRIMER) +(HUBRD $CONSOLEPRIMER) +(PG $CONSOLEPRIMER) +(LIS $CONSOLEPRIMER $CONSOLEPRIMER $CONSOLEPRIMER) +(FONER $CONSOLEPRIMER) +(PMAC $CONSOLEPRIMER) +(ROSCOE $CONSOLEPRIMER) +(RRLC $CONSOLEPRIMER $CONSOLEPRIMER) +(LMSJR $CONSOLEPRIMER) +(GMR $CONSOLEPRIMER) +(HVM $CONSOLEPRIMER) +(ARCHIE $CONSOLEPRIMER $CONSOLEPRIMER) +(JVN $CONSOLEPRIMER) +(GRUPP $CONSOLEPRIMER) +(VAD0 $CONSOLEPRIMER) +(SMD $CONSOLEPRIMER) +(SCHUTZ $CONSOLEPRIMER $CONSOLEPRIMER) +(TTP $CONSOLEPRIMER) +(REEDER $CONSOLEPRIMER $CONSOLEPRIMER) +(SCBEND $CONSOLEPRIMER) +(REEDE0 $CONSOLEPRIMER $CONSOLEPRIMER) +(|M.H.| $CONSOLEPRIMER) +(APPLE $CONSOLEPRIMER) +(ADK $CONSOLEPRIMER) +(PCR $CONSOLEPRIMER) +(SUJB $CONSOLEPRIMER) +(SJD $CONSOLEPRIMER $CONSOLEPRIMER) +(TLD $CONSOLEPRIMER) +(MINDLE $CONSOLEPRIMER) +(MCGAHR $CONSOLEPRIMER) +(KARIM $CONSOLEPRIMER) +(CAGI $CONSOLEPRIMER) +(GAGE $CONSOLEPRIMER) +(RHO $CONSOLEPRIMER) +(DECTEK $CONSOLEPRIMER) +(FJW $CONSOLEPRIMER) +(GEER $CONSOLEPRIMER) +(DIM $CONSOLEPRIMER) +(JWMT $CONSOLEPRIMER) +(MOURAD $CONSOLEPRIMER) +(MCB $CONSOLEPRIMER) +(PEV0 $CONSOLEPRIMER) +(PEV $CONSOLEPRIMER $CONSOLEPRIMER) +(ZIMARO $CONSOLEPRIMER) +(JFB $CONSOLEPRIMER $CONSOLEPRIMER) +(DWS $CONSOLEPRIMER) +(MJW $CONSOLEPRIMER) +(DANJON $CONSOLEPRIMER) +(STRO0 $CONSOLEPRIMER) +(EULER $CONSOLEPRIMER) +(REDFOX $CONSOLEPRIMER) +(GQM $CONSOLEPRIMER) +(RAIDER $CONSOLEPRIMER) +(GAC $CONSOLEPRIMER $CONSOLEPRIMER) +(TEW $CONSOLEPRIMER $CONSOLEPRIMER) +(OSTER $CONSOLEPRIMER) +(STTDDV $CONSOLEPRIMER) +(DSM $CONSOLEPRIMER) +(DANDP $CONSOLEPRIMER $CONSOLEPRIMER) +(CTDAY $CONSOLEPRIMER) +(LAMP $CONSOLEPRIMER) +(GRIFFI $CONSOLEPRIMER) +(RDS $CONSOLEPRIMER $CONSOLEPRIMER) +(RCKING $CONSOLEPRIMER) +(CHUCKG $CONSOLEPRIMER) +(NOUN $CONSOLEPRIMER) +(RVS $CONSOLEPRIMER) +(KING $CONSOLEPRIMER) +(NJAS $CONSOLEPRIMER) +(ADW $CONSOLEPRIMER) +(DMK $CONSOLEPRIMER) +(JPL $CONSOLEPRIMER) +(DWO $CONSOLEPRIMER) +(CKS $CONSOLEPRIMER) +(BACON $CONSOLEPRIMER) +(ENGAR $CONSOLEPRIMER) +(LYMAN $CONSOLEPRIMER $CONSOLEPRIMER) +(PBR $CONSOLEPRIMER $CONSOLEPRIMER) +(ISA $CONSOLEPRIMER) +(MRS $CONSOLEPRIMER $CONSOLEPRIMER) +(CRLONG $CONSOLEPRIMER) +(LJF $CONSOLEPRIMER) +(WHITCO $CONSOLEPRIMER) +(VCHAN $CONSOLEPRIMER) +(DCHANN $CONSOLEPRIMER) +(KRONOS $CONSOLEPRIMER) +(DL $CONSOLEPRIMER) \ No newline at end of file