login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

fricas
)sh TableAggregate
TableAggregate(Key: SetCategory,Entry: Type) is a category constructor Abbreviation for TableAggregate is TBAGG This constructor is exposed in this frame. ------------------------------- Operations -------------------------------- copy : % -> % dictionary : () -> % elt : (%,Key,Entry) -> Entry ?.? : (%,Key) -> Entry empty : () -> % empty? : % -> Boolean entries : % -> List(Entry) eq? : (%,%) -> Boolean index? : (Key,%) -> Boolean indices : % -> List(Key) key? : (Key,%) -> Boolean keys : % -> List(Key) map : ((Entry -> Entry),%) -> % qelt : (%,Key) -> Entry sample : () -> % setelt! : (%,Key,Entry) -> Entry table : () -> % #? : % -> NonNegativeInteger if $ has ATFINAG ?=? : (%,%) -> Boolean if Entry has SETCAT or Entry has BASTYPE and $ has ATFINAG or Record(key: Key,entry: Entry) has SETCAT or Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG any? : ((Entry -> Boolean),%) -> Boolean if $ has ATFINAG any? : ((Record(key: Key,entry: Entry) -> Boolean),%) -> Boolean if $ has ATFINAG coerce : % -> OutputForm if Entry has KOERCE(OUTFORM) or Record(key: Key,entry: Entry) has KOERCE(OUTFORM) construct : List(Record(key: Key,entry: Entry)) -> % convert : % -> InputForm if Record(key: Key,entry: Entry) has KONVERT(INFORM) count : ((Entry -> Boolean),%) -> NonNegativeInteger if $ has ATFINAG count : (Entry,%) -> NonNegativeInteger if Entry has BASTYPE and $ has ATFINAG count : (Record(key: Key,entry: Entry),%) -> NonNegativeInteger if Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG count : ((Record(key: Key,entry: Entry) -> Boolean),%) -> NonNegativeInteger if $ has ATFINAG dictionary : List(Record(key: Key,entry: Entry)) -> % entry? : (Entry,%) -> Boolean if $ has ATFINAG and Entry has SETCAT eval : (%,List(Equation(Entry))) -> % if Entry has EVALAB(Entry) and Entry has SETCAT eval : (%,Equation(Entry)) -> % if Entry has EVALAB(Entry) and Entry has SETCAT eval : (%,Entry,Entry) -> % if Entry has EVALAB(Entry) and Entry has SETCAT eval : (%,List(Entry),List(Entry)) -> % if Entry has EVALAB(Entry) and Entry has SETCAT eval : (%,List(Record(key: Key,entry: Entry)),List(Record(key: Key,entry: Entry))) -> % if Record(key: Key,entry: Entry) has EVALAB(Record(key: Key,entry: Entry)) and Record(key: Key,entry: Entry) has SETCAT eval : (%,Record(key: Key,entry: Entry),Record(key: Key,entry: Entry)) -> % if Record(key: Key,entry: Entry) has EVALAB(Record(key: Key,entry: Entry)) and Record(key: Key,entry: Entry) has SETCAT eval : (%,Equation(Record(key: Key,entry: Entry))) -> % if Record(key: Key,entry: Entry) has EVALAB(Record(key: Key,entry: Entry)) and Record(key: Key,entry: Entry) has SETCAT eval : (%,List(Equation(Record(key: Key,entry: Entry)))) -> % if Record(key: Key,entry: Entry) has EVALAB(Record(key: Key,entry: Entry)) and Record(key: Key,entry: Entry) has SETCAT every? : ((Entry -> Boolean),%) -> Boolean if $ has ATFINAG every? : ((Record(key: Key,entry: Entry) -> Boolean),%) -> Boolean if $ has ATFINAG extract! : % -> Record(key: Key,entry: Entry) fill! : (%,Entry) -> % if $ has ATSHMUT find : ((Record(key: Key,entry: Entry) -> Boolean),%) -> Union(Record(key: Key,entry: Entry),"failed") first : % -> Entry if Key has ORDSET hash : % -> SingleInteger if Entry has SETCAT or Record(key: Key,entry: Entry) has SETCAT hashUpdate! : (HashState,%) -> HashState if Entry has SETCAT or Record(key: Key,entry: Entry) has SETCAT insert! : (Record(key: Key,entry: Entry),%) -> % inspect : % -> Record(key: Key,entry: Entry) latex : % -> String if Entry has SETCAT or Record(key: Key,entry: Entry) has SETCAT less? : (%,NonNegativeInteger) -> Boolean map : (((Entry,Entry) -> Entry),%,%) -> % map : ((Record(key: Key,entry: Entry) -> Record(key: Key,entry: Entry)),%) -> % map! : ((Entry -> Entry),%) -> % if $ has ATSHMUT map! : ((Record(key: Key,entry: Entry) -> Record(key: Key,entry: Entry)),%) -> % if $ has ATSHMUT maxIndex : % -> Key if Key has ORDSET member? : (Entry,%) -> Boolean if Entry has BASTYPE and $ has ATFINAG member? : (Record(key: Key,entry: Entry),%) -> Boolean if Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG members : % -> List(Entry) if $ has ATFINAG members : % -> List(Record(key: Key,entry: Entry)) if $ has ATFINAG minIndex : % -> Key if Key has ORDSET more? : (%,NonNegativeInteger) -> Boolean parts : % -> List(Entry) if $ has ATFINAG parts : % -> List(Record(key: Key,entry: Entry)) if $ has ATFINAG qsetelt! : (%,Key,Entry) -> Entry if $ has ATSHMUT reduce : (((Record(key: Key,entry: Entry),Record(key: Key,entry: Entry)) -> Record(key: Key,entry: Entry)),%,Record(key: Key,entry: Entry),Record(key: Key,entry: Entry)) -> Record(key: Key,entry: Entry) if Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG reduce : (((Record(key: Key,entry: Entry),Record(key: Key,entry: Entry)) -> Record(key: Key,entry: Entry)),%,Record(key: Key,entry: Entry)) -> Record(key: Key,entry: Entry) if $ has ATFINAG reduce : (((Record(key: Key,entry: Entry),Record(key: Key,entry: Entry)) -> Record(key: Key,entry: Entry)),%) -> Record(key: Key,entry: Entry) if $ has ATFINAG remove : (Record(key: Key,entry: Entry),%) -> % if Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG remove : ((Record(key: Key,entry: Entry) -> Boolean),%) -> % if $ has ATFINAG remove! : (Key,%) -> Union(Entry,"failed") remove! : ((Record(key: Key,entry: Entry) -> Boolean),%) -> % if $ has ATFINAG remove! : (Record(key: Key,entry: Entry),%) -> % if Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG removeDuplicates : % -> % if Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG search : (Key,%) -> Union(Entry,"failed") select : ((Record(key: Key,entry: Entry) -> Boolean),%) -> % if $ has ATFINAG select! : ((Record(key: Key,entry: Entry) -> Boolean),%) -> % if $ has ATFINAG size? : (%,NonNegativeInteger) -> Boolean swap! : (%,Key,Key) -> Void if $ has ATSHMUT table : List(Record(key: Key,entry: Entry)) -> % ?~=? : (%,%) -> Boolean if Entry has SETCAT or Entry has BASTYPE and $ has ATFINAG or Record(key: Key,entry: Entry) has SETCAT or Record(key: Key,entry: Entry) has BASTYPE and $ has ATFINAG




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: