mirror of
https://github.com/PDP-10/its.git
synced 2026-01-21 02:08:50 +00:00
85994ed770
Resolves #284. Commented out uses of time-origin in maxtul; mcldmp (init) until we can figure out why it gives arithmetic overflows under the emulators. Updated the expect script statements in build_macsyma_portion to not attempt to match expected strings, but simply sleep for some time since in some cases the matching appears not to work.
276 lines
16 KiB
Plaintext
Executable File
276 lines
16 KiB
Plaintext
Executable File
|
|
(defprop dcl (date= (81. 4. 4.) daytime= (0. 14. 29.)) version)
|
|
(*expr cmod cplus ctimes cexpt crecip cfactor)
|
|
(*fexpr $fasmak)
|
|
(*expr solvequartic)
|
|
(*expr $getcharn)
|
|
(*expr $facout $distrib)
|
|
(*lexpr $scsimp)
|
|
(*expr $optimize)
|
|
(*expr $poisint $poissquare $poisexpt $poistimes $poisdiff $printpois $outofpois $poisctimes $intopois $poismap $poisplus $poissimp)
|
|
(*lexpr $poissubst)
|
|
(*expr $poisint $poissquare $poisexpt $poistimes $poisdiff $printpois $outofpois $poisctimes $intopois $poismap $poisplus $poissimp)
|
|
(*lexpr $poissubst)
|
|
(*fexpr $graph $plot)
|
|
(*lexpr $permanent $newdet)
|
|
(*fexpr $letsimp $letrules $remlet $let)
|
|
(*expr $niceindices $bashindices $intosum $sumcontract)
|
|
(*lexpr $fortmx)
|
|
(*fexpr $fortran)
|
|
(*expr $apply_nouns mtree-subst)
|
|
(*fexpr $defrule $tellsimpafter $tellsimp $defmatch $matchdeclare)
|
|
(*expr dimension-superscript)
|
|
(*lexpr $trigreduce)
|
|
(*expr $combine)
|
|
(*expr logarc $logarc)
|
|
(*expr $absconverge $converge $powerseries)
|
|
(*fexpr $apropos)
|
|
(*expr get-out get-flist)
|
|
(*expr $subsetp $elementof $elementp $cardinal $mapset $predset $elements $emptyp $universe $make_universe)
|
|
(*lexpr $setdiff $symdiff $intersection $union $ordinal ${)
|
|
(*expr simplify morp porm root ncpower power* power ncmuln ncmul2 div* div muln mul3 mul2* mul2 sub* sub neg addn add2* add2)
|
|
(*expr ask-integer)
|
|
(*lexpr $askinteger)
|
|
(*lexpr $nroots $realroots)
|
|
(*lexpr $nofix $matchfix $nary $infix $postfix $prefix)
|
|
(*expr simpmdefmacro (mmacroexpanded macro) mmacro-apply)
|
|
(*fexpr $macroexpand1 $macroexpand mdefmacro)
|
|
(*expr $polydecomp)
|
|
(*expr $clearscreen)
|
|
(*lexpr $pause)
|
|
(*expr $trigexpand)
|
|
(*expr $xthru)
|
|
(*expr $tr_warnings_get)
|
|
(*expr $pfet)
|
|
(*expr $sublist)
|
|
(*fexpr $makelist)
|
|
(*fexpr $renamefile $filelength $filelist $qlistfiles $listfiles $printfile)
|
|
(*expr $radcan freeof argsfreeof $bothcoef $ratsubst)
|
|
(*lexpr $freeof $ratcoef)
|
|
(*expr check-out-of-core-string allocate-message-index)
|
|
(*expr $tldefint)
|
|
(*lexpr $tlimit)
|
|
(*expr mapply-tr insure-array-props $arraysetapply $arrayapply interval-error)
|
|
(*lexpr display-for-tr marrayset marrayref mfuncall)
|
|
(*expr $bezout $discriminant $resultant)
|
|
(*expr $reset $listofvars $unknown)
|
|
(*fexpr $options)
|
|
(*fexpr $time $resetclock $printclock $unclock $clock)
|
|
(*expr $pade)
|
|
(*expr mbuildq-subst)
|
|
(*fexpr $buildq)
|
|
(*expr macsymacallp subrcall$p subrcallp)
|
|
(*lexpr fmapply)
|
|
(*expr define-symbol)
|
|
(*expr $debug)
|
|
(*lexpr $lispdebugmode $debugprintmode)
|
|
(*expr $factcomb $minfactorial $makegamma $makefact)
|
|
(*expr $bernpoly $bern $euler)
|
|
(*expr $fib $zeta)
|
|
(*expr $cfexpand $qunit $cfdisrep)
|
|
(*fexpr $cf)
|
|
(*fexpr $product)
|
|
(*expr $taytorat)
|
|
(*expr $polydecomp)
|
|
(*expr nformat-all nformat)
|
|
(*expr mdescribe)
|
|
(*fexpr $describe)
|
|
(*expr make-param)
|
|
(*expr $lhs $rhs $partition $demoivre)
|
|
(*expr $transpose $setelmx $row $minor $col $triangularize $rank onen $echelon $invertmx $diagmatrix $ident $determinant $charpoly $matrixp)
|
|
(*lexpr $submatrix)
|
|
(*expr $linsolve)
|
|
(*lexpr $solve)
|
|
(*expr $tminverse $tmlin)
|
|
(*lexpr $tmlinsolve $tmnewdet)
|
|
(*lexpr $sort)
|
|
(*expr $sublist)
|
|
(*fexpr $makelist)
|
|
(*expr apply2hack apply2 apply1hack apply1 part* part+ findbase findexpon findfun findbe $remrule)
|
|
(*fexpr $applyb2 $apply2 $applyb1 $apply1 $disprule)
|
|
(*expr outex-hook-exp $make_index_file)
|
|
(*expr $map_over_index_file $read_nth_object $number_of_objects_in_index_file $open_index_file)
|
|
(*expr $residue)
|
|
(*expr $ilt $laplace)
|
|
(*expr ratint)
|
|
(*expr outex-hook-exp $make_index_file)
|
|
(*expr $map_over_index_file $read_nth_object $index_file_dim $open_index_file)
|
|
(*expr mminusp*)
|
|
(*expr define-symbol rbp lbp)
|
|
(*expr rgrp $featurep like $sign asksign-p-or-n $asksign maximin minimum maximum $compare forget learn assume mevalp is $killcontext $newcontext)
|
|
(*lexpr $min $max $facts $deactivate $activate $context)
|
|
(*fexpr mor mand mnot $forget $assume $is $supcontext)
|
|
(*expr lowdeg)
|
|
(*expr pabs $nthroot $inrt $isqrt)
|
|
(*expr rassociative lassociative nary1 antisym commutative1 oddfun evenfun do%sum dosum simpsum simpgfact simpfact)
|
|
(*lexpr $genfact)
|
|
(*fexpr $sum $deftaylor)
|
|
(*expr $zeroequiv)
|
|
(*expr displaf)
|
|
(*lexpr *mformat)
|
|
(*expr fpentier *fpatan atanbigfloat ratbigfloat addbigfloat $bfloat fp2flo)
|
|
(*lexpr $ezgcd)
|
|
(*expr $taylorinfo)
|
|
(*lexpr $taylor)
|
|
(*expr $algsys)
|
|
(*expr $allroots)
|
|
(*expr $algnorm $splitfield $pfactoralg $algtrace)
|
|
(*lexpr $bdiscr $algfac)
|
|
(*expr simp-%sech simp-%csch simp-%coth simp-%tanh simp-%cosh simp-%sinh)
|
|
(*expr simp-%asec simp-%acsc simp-%acot simp-%acos simp-%asin)
|
|
(*expr simp-%asech simp-%acsch simp-%acoth simp-%atanh simp-%acosh simp-%asinh)
|
|
(*expr trigexpand $trigexpand)
|
|
(*expr $gcfactor $jacobi $totient $prime)
|
|
(*lexpr $divsum)
|
|
(*expr acsch asech acoth atanh asinh acosh sech csch coth tanh cosh sinh acsc asec acot atan1 acos asin csc sec cot tan mminusp* mminusp exponentialize $exponentialize rremainder rtimes rdifference rplus simp-%atan simp-%sec simp-%csc simp-%cot simp-%tan simp-%cos simp-%sin arcp trigp sq-sumsq sqrtx^2-1 sqrt1+x^2 sqrt1-x^2)
|
|
(*expr simpplog)
|
|
(*expr simpbinocoef)
|
|
(*expr simpgamma simpbeta)
|
|
(*expr erf simperf)
|
|
(*expr $ematrix $zeromatrix)
|
|
(*expr $augcoefmatrix $coefmatrix)
|
|
(*expr $entermatrix)
|
|
(*expr $xthru)
|
|
(*fexpr $multigraph $paramplot)
|
|
(*fexpr $graph $plot)
|
|
(*expr $gmark $gvprint $ghprint $gterpri $exitgraph $entergraph $clear $drawsymbol3 $line3 $vector3 $point3 $setpoint3 $size $screensize1 $screensize $definesymbol $drawsymbol $line $vector $popdash $pushdash $changedash $definedash $point $setpoint)
|
|
(*expr $batchload open-in-dsk open-out-dsk mstringp)
|
|
(*expr $tag_file_insert)
|
|
(*expr translate-macexpr-toplevel translate-and-eval-macsyma-expression)
|
|
(*expr ascii-numberp alphabetp cput a-atom log2 assqr firstn reconc amongl among xor andmapcar ormapc andmapc map2c)
|
|
(*lexpr concat *make-list)
|
|
(*expr trisplit cabs $carg $cabs $polarform $rectform $imagpart $realpart)
|
|
(*expr $timedate $who)
|
|
(*fexpr $alarmclock $send $mail $bug)
|
|
(*expr $reveal $pickapart $isolate)
|
|
(*fexpr $printprops $propvars $properties)
|
|
(*expr $changevar)
|
|
(*expr $gfactorsum $factorsum)
|
|
(*expr $combine)
|
|
(*lexpr $factorout)
|
|
(*expr $clearscreen)
|
|
(*lexpr $pause)
|
|
(*lexpr $translate_file)
|
|
(*expr $ldefint)
|
|
(*lexpr $limit)
|
|
(*expr testdivide cfactorw)
|
|
(*expr ptimes pquotient pmod pminus pminusp pderivative pdifference pplus pointergp)
|
|
(*expr ratquotient ratplus ratexpt rattimes ratreduce ratminus ratfact ratdif ratderivative)
|
|
(*expr pdegree $primep pgcd1 pquotientchk)
|
|
(*expr nthkdr *kar simpargs1 kdr kar matcherr bprog ratdenominator ratnumerator simpnrt alike alike1 great simpmqapply $ordergreatp $orderlessp simpmatrix simpexpt exptrl simpsignum signum1 simpderiv infsimp simpmdef simplambda simpexp simpbigfloat simpinteg simp-limit simptimes simpabs simpquot simpsqrt simpln simplus fpcofrat timesk addk simpargs ssimplifya eqtest simplifya freeargs freel free isinop constfun mxorlistp mequalp mbagp $nonscalarp $scalarp $constantp $numfactor subfunargs subfunsubs subfunname subfunmake subfunmakes subargcheck improper-arg-err wna-err twoargchk oneargchk twoargcheck oneargcheck $polysign specdisrep specrepp $ratp $ratnump $floatnump $evenp $oddp $integerp $numberp mratcheck simpcheck sratsimp ratdisrep mqapplyp mnegp mlogp mncexptp mnctimesp mexptp mtimesp mplusp ratnump even mnump $bfloatp zerop1 onep1 onep)
|
|
(*lexpr $integrate $expand $multthru)
|
|
(*fexpr retlist matcoef)
|
|
(*expr fstringc *errrjf read-only-assign $errormsg)
|
|
(*lexpr *merror)
|
|
(*fexpr $primer)
|
|
(*expr $sublis)
|
|
(*expr $plotreset $plotinit)
|
|
(*fexpr $killplots $loadplots $saveplots $nameplot $replot4 $replot $label $graph3d $graph2 $paramplot2 $contourplot2 $plot3d $plot2)
|
|
(*expr $binomial $gamma $acsch $asech $acoth $atanh $acosh $asinh $acsc $asec $acot $atan $acos $asin $csch $sech $coth $tanh $cosh $sinh $csc $sec $cot $tan $cos $sin $log $sqrt $exp dskrat mfilep autoldchk bigfloatm* add2lnc rat mreturn optionp mcons-op-args $funmake mapplyt mopp1 mopp arrstore mgetl mremprop mputprop mget remalias1 remrule remarrelem rempropchk remove1 $put $rem $get funcer $mapatom mmapev numerset msetchk mseterr $subvarp mquotep msetqp mevalatoms mset munbind mbind margs mop meval2 meval1 meval mevaln mapply)
|
|
(*lexpr $allbut $matrix outermap1 fmapl1 mcall)
|
|
(*fexpr dsksetq $subvar mgo mprog mdoin mdo mcond $dispfun $apply mdefine $define $array mdefprop $remvalue $remarray $remfunction $remove $declare $qput $outermap $fullmapl $matrixmap $fullmap $maplist $map mquote $ev msetq $local mprogn)
|
|
(*expr $untrace_it $trace_it)
|
|
(*expr killc contextmark kcntxt cntxt killframe remov unkind kill untrue doutern dintern dinternp remf addf datum par kind fact true* kindp factp isp falsep truep clear visiblep unmrk markp mark)
|
|
(*lexpr context deactivate activate)
|
|
(*fexpr deframe)
|
|
(*lexpr $suspend)
|
|
(*expr $lopow $hipow coeff $float $entier $fix $denom $num $symbolp $atom $length $reverse $args $last $first format1 atomchk $member $endcons $cons $listp listerchk getopr getop mpart part1 $dispterms $trunc remsimp delsimp nthelem union* substitutel notloreq atvarschk sdiff $del recur-apply subst0 substitute)
|
|
(*lexpr $coeff $delete $rest $append $inpart $part $dispform $disp $ldisp $diff $depends $substitute)
|
|
(*fexpr $substinpart $substpart $display $ldisplay $gradef $dependencies)
|
|
(*expr stotaldiff diffncexpt difflaplace diffsum diffint)
|
|
(*expr $at $atvalue)
|
|
(*expr $logcontract)
|
|
(*expr $nterms)
|
|
(*expr $fibtophi)
|
|
(*fexpr $numerval)
|
|
(*expr $derivdegree)
|
|
(*expr box)
|
|
(*lexpr $rembox $box $lpart $dpart)
|
|
(*fexpr $scanmap)
|
|
(*expr $copylist $copymatrix)
|
|
(*lexpr $genmatrix)
|
|
(*lexpr $addcol $addrow)
|
|
(*expr $arraymake)
|
|
(*fexpr $arrayinfo)
|
|
(*expr $unorder)
|
|
(*fexpr $orderless $ordergreat $makeatomic)
|
|
(*expr $getchar)
|
|
(*lexpr $concat)
|
|
(*expr $ratdisrep $ratexpand rationalize ratf $gfactor $sqfr $totaldisrep $showratvars $printvarlist $ratdenom $ratnumer)
|
|
(*lexpr $content $gcd $remainder $quotient $divide $mod factor $factor $ratsimp $rat $fullratsimp $ratvars $tellrat $untellrat)
|
|
(*fexpr $restore $remfile $fassave $store $save $unstore)
|
|
(*expr ass-eq-set assign-mode-check)
|
|
(*lexpr chekvalue ass-eq-ref)
|
|
(*expr $resultant $discriminant)
|
|
(*expr $bezout)
|
|
(*expr macherrfun iolfun ttyretfun ttyintfun ttyintfunsetup $dskgc $pagepause mfile-out fileprint filestrip $ddt $logout $quit $to_lisp computime timeorg $throw $uuo getlabcharn getlabels* getlabels $%th $poislim $fpprec casify-exploden strmeval makstring dollarify-name amperchk $verbify $nounify fullstrip1 fullstrip stripdollar remalias retrieve prinl erlist1 errexp nonvarchk nonsymchk fexprchk errbreak $debugmode ruleof remvalue remlabels kill1 batch1 carfile mtruename truefname loadfile filenamel mfboundp dollarify find0 load-function find-function reprint rubout* formfeed $bothcases tyi* addlabel mexploden printlabel makelabel meval*)
|
|
(*lexpr $filedefaults $break $error $random $readonly $read $print)
|
|
(*fexpr $alloc $sstatus $status $delfile $closefile $appendfile $writefile $time $catch $errcatch $labels $stringout $string $alias $playback $tobreak $kill $demo $batch $batcon $setup_autoload $loadfile)
|
|
(*expr memalike assolike assol)
|
|
(*expr cg-image-tyo-n cg-tyo-n cg-image-tyo cg-tyo dimension-superscript dimension-nofix dimension-postfix dimension-nary dimension-infix dimension-prefix makestring dimension-string dimension-atom displa)
|
|
(*expr sign)
|
|
(*expr mstring)
|
|
(*fexpr $grind)
|
|
(*expr $risch)
|
|
(*lexpr $compile_lisp_file)
|
|
(special $fortfloat $fortindent $fortspaces)
|
|
(fixnum $fortindent)
|
|
(special $user_mesfile dumping user-mesfile master-mesfile)
|
|
(special $universe $displayset)
|
|
(special $macroexpansion)
|
|
(special $tr_warn_bad_function_calls)
|
|
(special $assumescalar $dotident $scalarmatrixp $domxnctimes $doscmxops $domxmxops $doallmxops $dotassoc $dotexptsimp $dotdistrib $dotscrules $dot1simp $dot0nscsimp $dot0simp $dotconstrules)
|
|
(special $resultant)
|
|
(special $listconstvars)
|
|
(special $rombergit_used $rombergabs $rombergtol $rombergmin $rombergit)
|
|
(fixnum $rombergit_used $rombergmin $rombergit)
|
|
(flonum $rombergabs $rombergtol)
|
|
(special $negsumdispflag $sqrtdispflag $exptdispflag $%edispflag $pfeformat $powerdisp)
|
|
(special $linsolve_params $%rnum $backsubst $sparse $globalsolve)
|
|
(special $gammalim $sumsplitfact half%pi3 %pi2 half%pi fourth%pi %p%i)
|
|
(special $matrix_element_transpose $matrix_element_add $matrix_element_mult $ratmx)
|
|
(special $pointbound)
|
|
(special $solveradcan $solvetrigwarn $solvenullwarn $solvefactors $solveexplicit $solvedecomposes $savefactors $programmode $solve_inconsistent_error $linsolvewarn $multiplicities $breakup)
|
|
(special $trace_max_indent $trace_break_arg $trace)
|
|
(fixnum $trace_max_indent $trace_max_indent)
|
|
(special $maxapplyheight $maxapplydepth)
|
|
(special $parsewindow)
|
|
(fixnum $parsewindow)
|
|
(special limitp $askexp $signbfloat $prederror $activecontexts $contexts $context)
|
|
(special $homog_hack $savefactors $berlefact $intfaclim low* algfac* *irreds)
|
|
(special $prodhack $sumhack $simpsum $zerobern $genindex $gensumnum $cauchysum)
|
|
(special bigfloat%pi bigfloat%e bfmhalf bfhalf bigfloatone bigfloatzero $fpprec $fpprintprec $bftrunc $bftorat $float2bf)
|
|
(fixnum $fpprintprec)
|
|
(special $taylor_logexpand)
|
|
(special $algexact $realonly $%rnum_list)
|
|
(special -sqrt3//2 sqrt3//2 -sqrt2//2 sqrt2//2 %pi//2 %pi//4 -1//2 1//2 $halfangles $logarc $exponentialize $trigsign $trigexpandtimes $trigexpandplus $trigexpand $triginverses $%iargs $%piargs)
|
|
(special $tr_float_can_branch_complex)
|
|
(special *in-macsyma-indexer* *in-translate-file*)
|
|
(special $tr_optimize_max_loop *$any-modes* *tr-warn-break* *in-translate-file* *in-translate* *in-compfile* *in-compile* $tr_numer $tr_array_as_ref $tr_function_call_default *warned-mode-vars* *warned-fexprs* *warned-un-declared-vars* $tr_warn_undefined_variable $tr_warn_mode $tr_warn_fexpr $tr_warn_meval $tr_warn_undeclared tr-unique tr-abort *transl-traced* *transl-debug* *transl-backtrace* translate-time-evalables declares specials assigns need-prog? return-mode returns inside-mprog tr-progret fexprs lexprs arrays local tstack $special $transcompile $tr_semicompile $transbind)
|
|
(special $integration_constant_counter)
|
|
(special generate-atan2 implicit-real)
|
|
(special $tr_gen_tags $tr_true_name_of_file_being_translated $compgrind transl-file $tr_windy $tr_file_tty_messagesp $tr_output_file_default *transl-file-debug*)
|
|
(special preserve-direction limit-answers simplimplus-problems rd* infinitesimals real-infinities infinities)
|
|
(special $newfac $nalgfac smallprimes alpha mm* mplc* minpoly* *mx* *min* gauss)
|
|
(special errrjfflag hmodulus modulus)
|
|
(special $ratalgdenom $ratwtlvl)
|
|
(special *alpha bigprimes $gcd *gcdl*)
|
|
(special derivsimp errorsw dosimp $maxnegex $maxposex $expon $expop $mx0simp $domxtimes $domxplus $domxexpt $doscmxplus $simp $numer $negdistrib $float)
|
|
(fixnum $maxnegex $maxposex $expon $expop)
|
|
(special $error)
|
|
(special $sublis_apply_lambda)
|
|
(special munbindp)
|
|
(special $trace_max_indent $trace_break_arg $trace_safety $trace)
|
|
(fixnum $trace_max_indent $trace_max_indent $trace_max_indent)
|
|
(special $suspend)
|
|
(special $vect_cross)
|
|
(special $superlogcon $logconcoeffp)
|
|
(special $rootsconmode)
|
|
(special $ratdenomdivide $ratexpand $ratepsilon $ratprint fr-factor adn* inratsimp tellratlist $facexpand $ratvars $algebraic $ratfac $ratweights $norepeat $dontfactor $factorflag $keepfloat *ratweights *fnewvarsw varlist genpairs genvar)
|
|
(special $mode_check_errorp $mode_check_warnp $mode_checkp)
|
|
(special $resultant)
|
|
(special $showtime $file_string_print $change_filedefaults aliaslist $morewait $ttyintfun $ttyintnum casep $linenum $linechar $outchar $inchar)
|
|
(fixnum $linenum)
|
|
(special $display_format_internal $rmxchar $lmxchar $absboxchar $boxchar displayp stringdisp $fptrunc $noundisp $derivabbrev $linedisp $lispdisp $display2d $leftjust $stardisp $cursordisp line-graphics-tty character-graphics-tty)
|
|
(special $erfflag $liflag)
|
|
(special $to_call_lisp_compiler) |