|
//-------------------------------------------
extern long trace;
extern long level;
void traceout(char*,long);
void resultout(long res);
void argout(char*);
void startout(char*);
void initcall(char *fun);
void manpage(char*,char*,char*);
//-------------------------------------------
BOOL divisible(NAT x, NAT y);
BOOL Prim(NAT x);
NAT Pr2(NAT n, NAT x);
NAT Fac(NAT n);
NAT Pr1(NAT n);
NAT Gl(NAT n, NAT x);
NAT l(NAT x);
NAT Join(NAT x, NAT y);
NAT R(NAT x);
NAT E(NAT x);
BOOL Var2(NAT n, NAT x);
BOOL Var1(NAT x);
NAT Neg(NAT x);
NAT Dis(NAT x, NAT y);
NAT Gen(NAT x, NAT y);
NAT N(NAT n, NAT x);
NAT Z(NAT n);
BOOL Typ1(NAT x);
BOOL Typ2(NAT n,NAT x);
BOOL Elf(NAT x);
BOOL Op(NAT x,NAT y,NAT z);
BOOL FR(NAT x);
BOOL Form(NAT x);
BOOL Geb(NAT v,NAT n, NAT x);
BOOL Fr3(NAT v,NAT n,NAT x);
BOOL Fr2(NAT v,NAT x);
NAT Su(NAT x,NAT n, NAT y);
NAT St(NAT k,NAT v, NAT x);
NAT A(NAT v, NAT x);
NAT Sb4(NAT k,NAT x, NAT v,NAT y);
NAT Sb3(NAT x,NAT v,NAT y);
NAT Imp(NAT x, NAT y);
NAT Con(NAT x, NAT y);
NAT Aeq(NAT x, NAT y);
NAT Ex(NAT v, NAT y);
NAT Th(NAT n, NAT x);
BOOL Z_Ax(NAT x);
BOOL A1_Ax(NAT n,NAT x);
BOOL A_Ax(NAT x);
BOOL Q(NAT z, NAT y,NAT v);
BOOL L1_Ax(NAT x);
BOOL L2_Ax(NAT x);
BOOL R_Ax(NAT x);
BOOL M_Ax(NAT x);
BOOL Ax(NAT x);
BOOL Fl(NAT x,NAT y,NAT z);
BOOL Bw(NAT x);
BOOL B(NAT x,NAT y);
BOOL Bew(NAT x);
NAT Goldbach(NAT n);
NAT Primetwin(NAT x);
NAT Collatz(NAT x);
NAT Fermat(NAT n);
//--------------------------------------
// End of this Source
//--------------------------------------
¤ Dauer der Verarbeitung: 0.18 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
