share/trigonometry/atrig1.usg

   1 LOAD(ATRIG1); to access several additional simplification rules for
   2 inverse trig functions.  Together with rules already known to Macsyma, the
   3 following angles are fully implemented: 0, %PI/6, %PI/4, %PI/3, and %PI/2.
   4 Corresponding angles in the other three quadrants are also available.
   5
   6 Examples:
   7
   8 (C2) ASIN(SQRT(3)/2);
   9                                      %PI
  10 (D2)                                 ---
  11                                       3
  12
  13 (C3) ACSC(2);
  14                                      %PI
  15 (D3)                                 ---
  16                                       6
  17