/usr/share/axiom-20170501/src/algebra/PLACESC.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 | )abbrev category PLACESC PlacesCategory
++ Author: Gaetan Hache
++ Date Created: 17 nov 1992
++ Date Last Updated: May 2010 by Tim Daly
++ Description:
++ This is part of the PAFF package, related to projective space.
PlacesCategory(K,PCS) : Category == SIG where
K : Field
PCS : LocalPowerSeriesCategory(K)
SIG ==> SetCategoryWithDegree with
"+" : (%,%) -> Divisor(%)
"+" : (Divisor(%) , % ) -> Divisor(%)
"+" : (%, Divisor(%)) -> Divisor(%)
"-" : (%,%) -> Divisor(%)
"-" : (Divisor(%) , % ) -> Divisor(%)
"-" : (%, Divisor(%)) -> Divisor(%)
"-" : % -> Divisor(%)
"*" : (Integer,%) -> Divisor(%)
reduce : List % -> Divisor(%)
create : List K -> %
create : Symbol -> %
localParam : % -> List PCS
++ localParam(pl) returns the local parametrization associated
++ to the place pl.
setParam_! : (%,List PCS) -> Void
++ setParam!(pl,ls) set the local parametrization of pl to ls.
setDegree_! : (%,PositiveInteger) -> Void
++ setDegree!(pl,ls) set the degree.
leaf? : % -> Boolean
++ leaf?(pl) test if the place pl correspond to a leaf of a
++ desingularisation tree.
itsALeaf_! : % -> Void
foundPlaces : () -> List %
++ foundPlaces() returns the list of all "created" places up to now.
setFoundPlacesToEmpty : () -> List %
++ setFoundPlacesToEmpty() does what it says.
++ (this should not be used)!!!
elt : (%,Integer) -> K
++ elt returns the value of a specified coordinates if the places
++ correspnd to a simple point
|