/usr/share/axiom-20170501/src/algebra/GRDEF.spad is in axiom-source 20170501-3.
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 | )abbrev package GRDEF GraphicsDefaults
++ Author: Clifton J. Williamson
++ Date Created: 8 January 1990
++ Date Last Updated: 8 January 1990
++ Description:
++ TwoDimensionalPlotSettings sets global flags and constants
++ for 2-dimensional plotting.
GraphicsDefaults() : SIG == CODE where
B ==> Boolean
I ==> Integer
SF ==> DoubleFloat
maxWidth ==> 1000
maxHeight ==> 1000
SIG ==> with
clipPointsDefault : () -> B
++ clipPointsDefault() determines whether or not automatic clipping is
++ to be done.
drawToScale : () -> B
++ drawToScale() determines whether or not plots are to be drawn to scale.
clipPointsDefault : B -> B
++ clipPointsDefault(true) turns on automatic clipping;
++ \spad{clipPointsDefault(false)} turns off automatic clipping.
++ The default setting is true.
drawToScale : B -> B
++ drawToScale(true) causes plots to be drawn to scale.
++ \spad{drawToScale(false)} causes plots to be drawn so that they
++ fill up the viewport window.
++ The default setting is false.
--% settings from the two-dimensional plot package
adaptive: () -> B
++ adaptive() determines whether plotting will be done adaptively.
maxPoints: () -> I
++ maxPoints() returns the maximum number of points in a plot.
minPoints: () -> I
++ minPoints() returns the minimum number of points in a plot.
screenResolution: () -> I
++ screenResolution() returns the screen resolution n.
adaptive: B -> B
++ adaptive(true) turns adaptive plotting on;
++ \spad{adaptive(false)} turns adaptive plotting off.
maxPoints: I -> I
++ maxPoints() sets the maximum number of points in a plot.
minPoints: I -> I
++ minPoints() sets the minimum number of points in a plot.
screenResolution: I -> I
++ screenResolution(n) sets the screen resolution to n.
CODE ==> add
--% global flags and constants
CLIPPOINTSDEFAULT : B := true
TOSCALE : B := false
--% functions
clipPointsDefault() == CLIPPOINTSDEFAULT
drawToScale() == TOSCALE
clipPointsDefault b == CLIPPOINTSDEFAULT := b
drawToScale b == TOSCALE := b
--% settings from the two-dimensional plot package
adaptive() == adaptive?()$Plot
minPoints() == minPoints()$Plot
maxPoints() == maxPoints()$Plot
screenResolution() == screenResolution()$Plot
adaptive b == setAdaptive(b)$Plot
minPoints n == setMinPoints(n)$Plot
maxPoints n == setMaxPoints(n)$Plot
screenResolution n == setScreenResolution(n)$Plot
|