/usr/share/yacas/scripts/stdopers.ys is in yacas 1.3.6-2+b1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 | /* stdopers is loaded immediately after Yacas is started. It contains
* the definitions of the infix operators, so the parser can already
* parse expressions containing these operators, even though the
* function hasn't been defined yet.
*/
Infix("=",90);
Infix("And",1000);
RightAssociative("And");
Infix("Or", 1010);
Prefix("Not", 100);
Infix("<",90);
Infix(">",90);
Infix("<=",90);
Infix(">=",90);
Infix("!=",90);
Infix(":=",10000);
RightAssociative(":=");
Infix("+",70);
Infix("-",70);
RightPrecedence("-",40);
Infix("/",30);
Infix("*",40);
Infix("^",20);
RightAssociative("^");
Prefix("+",50);
Prefix("-",50);
RightPrecedence("-",40);
Bodied("For",60000);
Bodied("Until",60000);
Postfix("++",5);
Postfix("--",5);
Bodied("ForEach",60000);
Infix("<<",10);
Infix(">>",10);
Bodied("D",60000);
Bodied("Deriv",60000);
Infix("X",30);
Infix(".",30);
Infix("o",30);
Postfix("!", 30);
Postfix("!!", 30);
Infix("***", 50);
Bodied("Integrate",60000);
Bodied("Limit",60000);
/* functional operators */
Infix(":",70);
RightAssociative(":");
Infix("@",600);
Infix("/@",600);
Infix("..",600);
Bodied("Taylor",60000);
Bodied("Taylor1",60000);
Bodied("Taylor2",60000);
Bodied("Taylor3",60000);
Bodied("InverseTaylor",60000);
Infix("<--",10000);
Infix("#",9900);
Bodied("TSum",60000);
Bodied("TExplicitSum",60000);
Bodied("TD",5); /* Tell the Yacas interpreter that TD is to be used as TD(i)f */
/* Operator to be used for non-evaluating comparisons */
Infix("==",90);
Infix("!==",90);
/* Operators needed for propositional logic theorem prover */
Infix("=>",10000); /* implication, read as 'implies' */
Bodied("if",5);
Infix("else",60000);
RightAssociative("else");
/* Bitwise operations we REALLY need. Perhaps we should define them
also as Yacas operators?
*/
Infix("&",50);
Infix("|",50);
Infix("%",50);
/* local pattern replacement operators */
Infix("/:",20000);
Infix("/::",20000);
Infix("<-",10000);
/* Operators used for manual layout */
Infix("<>", OpPrecedence("="));
Infix("<=>", OpPrecedence("="));
/* Operators for Solve: Where and AddTo */
Infix("Where", 11000);
Infix("AddTo", 2000);
Bodied("Function",60000);
Bodied("Macro",60000);
Bodied(Assert, 60000);
// Defining very simple functions, in scripts that can be converted to plugin.
Bodied("Defun",0);
|