This file is indexed.

/usr/share/yacas/scripts/logic.rep/om.ys is in yacas 1.3.6-2.

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
// From code.ys.def:
OMDef( "=>" , "logic1","implies" );
OMDef( "CNF"          ,          "yacas","cnf"                      );
OMDef( "LogicSimplify",          "yacas","logic_simplify"           );
OMDef( "CanProve"     ,          "yacas","can_prove"                );
OMDef( "LogicRemoveTautologies", "yacas","logic_remove_tautologies" );
OMDef( "Subsumes"     ,          "yacas","subsumes"                 );
// The following appear in the def file, but commented out:
//     "~",  "yacas", "Not"
//     "|",  "yacas", "Or"
//     "&",  "yacas", "And"