Archived web site of the Workshop on the Atlas of Lie Groups and Representations, Salt Lake City, July 10–21, 2017. All Atlas workshops
Computer input/output: vanLeeuwen1.out
Back
[marc@Pleiona ~/atlas/atlas-scripts]$ ../atlas
This is 'atlas' (version 1.0.6, axis language version 0.9.5),
the Atlas of Lie Groups and Representations interpreter,
compiled on Jul 8 2017 at 20:08:14. http://www.liegroups.org/
atlas> 1+3
Value: 4
atlas> 44^22+_9^2
Error during analysis of expression at <standard input>:2:0-10
Undefined identifier '_9'
Expression analysis failed
atlas> 44^2+9^2
Value: 2017
atlas> [1,3,9,27,81,243]*[1,2,3,4,5,6]
Value: 2005
atlas> for i:6 do 3^i od
Value: [1,3,9,27,81,243]
atlas> for i:6 do i od
Value: [0,1,2,3,4,5]
atlas> for i:6 from 1 do i od
Value: [1,2,3,4,5,6]
atlas> for i:6 from 1 do 2*i+1 od
Value: [3,5,7,9,11,13]
atlas> for i:6 do 2*i+1 od
Value: [1,3,5,7,9,11]
atlas> for i:6 from 1 do (i,i+1) od
Value: [(1,2),(2,3),(3,4),(4,5),(5,6),(6,7)]
atlas> for i:6 from 1 ~do (i,i+1) od
Value: [(6,7),(5,6),(4,5),(3,4),(2,3),(1,2)]
atlas> let s=0 in for i:10 from 1 do s:= s+i od
Value: [1,3,6,10,15,21,28,36,45,55]
atlas> let s=0 in for i:10 from 1 do s:= s+i od; s
Value: 55
atlas> for i:10 from 1 do s:= s+i od * for :10 do 1 od
Error during analysis of expression at <standard input>:14:0-47
Undefined identifier 's' in assignment s:=+(s,i)
Expression analysis failed
atlas> for i:10 from 1 do i od * for :10 do 1 od
Value: 55
atlas> (for i:10 from 1 do i od , for :10 do 1 od)
Value: ([1,2,3,4,5,6,7,8,9,10],[1,1,1,1,1,1,1,1,1,1])
atlas> * $
Error in expression *($) at <standard input>:17:0-3
Failed to match '*' with argument type ([int],[int])
Expression analysis failed
atlas> let (a,b)=$ in a*b
Value: 55
atlas> [1,2|3,4]
Value:
| 1, 2 |
| 3, 4 |
atlas> [1,2|3,4] * [1,10]
Value: [ 21, 43 ]
atlas> [1,10]
Value: [1,10]
atlas> vec: [1,10]
Value: [ 1, 10 ]
atlas> whattype [1,10]
type: [int]
atlas> whattype [1,2|3,4]
type: mat
atlas> [1,10] * [1,2|3,4]
Value: [ 31, 42 ]
atlas> [1,2|3,4] * [0,1|1,0]
Value:
| 2, 1 |
| 4, 3 |
atlas> whattype $
type: mat
atlas> $ * $
Value:
| 8, 5 |
| 20, 13 |
atlas> $ ^3
Error in expression ^($,3) at <standard input>:29:0-4
Failed to match '^' with argument type (mat,int)
Expression analysis failed
atlas> <basic.at
Starting to read from file 'basic.at'.
Constant minus_1: int
Added definition [11] of #: (int->[int])
Added definition [12] of #: (bool->int)
Added definition [6] of ^: (bool,bool->bool)
Defined assert: (bool,string->)
Added definition [2] of assert: (bool->)
Defined list: ((int->bool),int->[int])
Defined complement: ((int->bool),int->[int])
Defined count: ((int->bool),int->int)
Defined all: ([bool]->bool)
Defined none: ([bool]->bool)
Defined first: ([bool]->int)
Defined last: ([bool]->int)
Added definition [2] of all: (int,(int->bool)->bool)
Added definition [2] of none: (int,(int->bool)->bool)
Added definition [2] of first: (int,(int->bool)->int)
Added definition [2] of last: (int,(int->bool)->int)
Added definition [3] of all: ([(->bool)]->bool)
Added definition [3] of none: ([(->bool)]->bool)
Added definition [3] of first: ([(->bool)]->int)
Added definition [3] of last: ([(->bool)]->int)
Defined binary_search_first: ((int->bool),int,int->int)
Defined from_stops: ([int]->(int->int))
Defined abs: (int->int)
Defined sign: (int->int)
Defined is_odd: (int->bool)
Defined is_even: (int->bool)
Defined min: (int,int->int)
Defined max: (int,int->int)
Added definition [2] of min: ([int]->int)
Added definition [2] of max: ([int]->int)
Defined min_loc: ([int]->int)
Defined max_loc: ([int]->int)
Added definition [3] of min: (int->([int]->int))
Added definition [3] of max: (int->([int]->int))
Defined gcd: (int,int->int)
Defined lcm: (int,int->int)
Added definition [2] of gcd: ([int]->int)
Added definition [2] of lcm: ([int]->int)
Added definition [22] of =: ((int,int),(int,int)->bool)
Added definition [22] of !=: ((int,int),(int,int)->bool)
Added definition [18] of *: (int,[int]->[int])
Defined sum: ([int]->int)
Defined product: ([int]->int)
Defined half: (int->int)
Defined is_member: ([int]->(int->bool))
Defined contains: (int->([int]->bool))
Defined numer: (rat->int)
Defined denom: (rat->int)
Defined is_integer: (rat->bool)
Added definition [2] of sign: (rat->int)
Added definition [2] of abs: (rat->rat)
Added definition [4] of \: (rat,rat->int)
Added definition [2] of \%: (rat,int->int,rat)
Added definition [3] of \%: (rat,rat->int,rat)
Added definition [2] of floor: ([rat]->vec)
Added definition [2] of ceil: ([rat]->vec)
Defined rat_as_int: (rat->int)
Added definition [4] of min: (rat,rat->rat)
Added definition [4] of max: (rat,rat->rat)
Added definition [5] of min: ([rat]->rat)
Added definition [5] of max: ([rat]->rat)
Added definition [2] of min_loc: ([rat]->int)
Added definition [2] of max_loc: ([rat]->int)
Added definition [6] of min: (rat->([rat]->rat))
Added definition [6] of max: (rat->([rat]->rat))
Constant new_line: string
Added definition [14] of +: (string,string->string)
Added definition [19] of *: (string,int->string)
Added definition [20] of *: (int,string->string)
Added definition [15] of +: (string,int->string)
Added definition [16] of +: (int,string->string)
Added definition [17] of +: (string,(int,int)->string)
Defined plural: (int->string)
Added definition [2] of plural: (int,string->string)
Defined concat: ([string]->string)
Defined l_adjust: (int,string->string)
Defined r_adjust: (int,string->string)
Defined c_adjust: (int,string->string)
Defined width: (int->int)
Defined split_lines: (string->[string])
Defined is_substring: (string,string->bool)
Defined fgrep: (string,string->[string])
Defined vector: (int,(int->int)->vec)
Defined ones: (int->vec)
Defined reverse: (vec->vec)
Defined lower: (int,vec->vec)
Defined upper: (int,vec->vec)
Defined drop_lower: (int,vec->vec)
Defined drop_upper: (int,vec->vec)
Added definition [6] of <=: (vec->bool)
Added definition [6] of <: (vec->bool)
Defined all_0_1_vecs: (int->[vec])
Defined power_set: (int->[[int]])
Added definition [2] of power_set: ([int]->[[int]])
Defined matrix: ((int,int),(int,int->int)->mat)
Defined n_rows: (mat->int)
Defined n_columns: (mat->int)
Defined column: (vec->mat)
Defined row: (vec->mat)
Added definition [23] of =: (mat,int->bool)
Added definition [13] of #: (mat,vec->mat)
Added definition [14] of #: (vec,mat->mat)
Added definition [7] of ^: (mat,vec->mat)
Added definition [8] of ^: (vec,mat->mat)
Added definition [5] of ##: (mat,mat->mat)
Added definition [9] of ^: (mat,mat->mat)
Added definition [6] of ##: (int,[mat]->mat)
Defined map_on: (mat->((int->int)->mat))
Added definition [21] of *: (int,mat->mat)
Added definition [17] of -: (mat->mat)
Added definition [5] of \: (mat,int->mat)
Added definition [13] of %: (mat,int->mat)
Added definition [10] of ^: (mat,int->mat)
Defined inverse: (mat->mat)
Defined det: (mat->int)
Defined trace: (mat->int)
Defined char_poly: (mat->vec)
Defined saturated_span: (mat->bool)
Added definition [4] of all: (mat,(vec->bool)->bool)
Added definition [4] of none: (mat,(vec->bool)->bool)
Added definition [4] of first: (mat,(vec->bool)->int)
Added definition [4] of last: (mat,(vec->bool)->int)
Defined columns_with: ((int,vec->bool),mat->mat)
Added definition [2] of columns_with: ((vec->bool),mat->mat)
Added definition [3] of columns_with: ((int->bool),mat->mat)
Defined rows_with: ((int,vec->bool),mat->mat)
Added definition [2] of rows_with: ((vec->bool),mat->mat)
Added definition [3] of rows_with: ((int->bool),mat->mat)
Added definition [8] of >=: (mat->bool)
Added definition [8] of >: (mat->bool)
Added definition [7] of <=: (mat->bool)
Added definition [7] of <: (mat->bool)
Defined lookup_column: (vec,mat->int)
Defined lookup_row: (vec,mat->int)
Added definition [2] of sum: (mat->vec)
Type name 'maybe_a_vec' defined as (void|vec)
with injectors: no_solution, solution.
Defined solve: (mat,vec->void|vec)
Defined any: (void|vec->bool)
Defined requisition: (string->(void|vec->vec))
Added definition [2] of requisition: (void|vec->vec)
Defined order: (mat->int)
Added definition [2] of numer: (ratvec->vec)
Added definition [2] of denom: (ratvec->int)
Added definition [22] of *: (int,ratvec->ratvec)
Added definition [23] of *: (rat,ratvec->ratvec)
Added definition [7] of ##: (ratvec,ratvec->ratvec)
Added definition [8] of ##: ([ratvec]->ratvec)
Added definition [3] of sum: ([ratvec],int->ratvec)
Added definition [24] of *: ([ratvec],ratvec->ratvec)
Added definition [2] of is_integer: (ratvec->bool)
Added definition [25] of *: (ratvec,ratvec->rat)
Added definition [26] of *: (vec,ratvec->rat)
Added definition [6] of \: (ratvec,int->vec)
Defined ratvec_as_vec: (ratvec->vec)
Added definition [2] of reverse: (ratvec->ratvec)
Added definition [2] of lower: (int,ratvec->ratvec)
Added definition [2] of upper: (int,ratvec->ratvec)
Added definition [2] of drop_lower: (int,ratvec->ratvec)
Added definition [2] of drop_upper: (int,ratvec->ratvec)
Added definition [4] of sum: (ratvec->rat)
Added definition [8] of <=: (ratvec->bool)
Added definition [8] of <: (ratvec->bool)
Added definition [2] of solve: (mat,ratvec->[ratvec])
Constant s: Split
Constant split_1: Split
Constant one_minus_s: Split
Constant one_plus_s: Split
Defined int_part: (Split->int)
Defined s_part: (Split->int)
Added definition [18] of +: (Split->int)
Added definition [11] of ^: (Split->int)
Defined s_to_1: (Split->int)
Defined s_to_minus_1: (Split->int)
Defined times_s: (Split->Split)
Defined split_as_int: (Split->int)
Added definition [4] of \%: (Split,int->Split,Split)
Added definition [2] of half: (Split->Split)
Added definition [8] of /: (Split,int->Split)
Added definition [14] of %: (Split,int->Split)
Defined exp_s: (int->Split)
Defined is_pure: (Split->bool)
Defined split_format: (Split->string)
Added definition [12] of ^: (Split,int->Split)
Added definition [5] of sum: ([Split]->Split)
Added definition [5] of root_datum: ([vec],[vec],int->RootDatum)
Added definition [6] of root_datum: (LieType,[ratvec]->RootDatum)
Added definition [7] of root_datum: (LieType,ratvec->RootDatum)
Defined is_root: (RootDatum,vec->bool)
Defined is_coroot: (RootDatum,vec->bool)
Defined is_posroot: (RootDatum,vec->bool)
Defined is_poscoroot: (RootDatum,vec->bool)
Defined posroot_index: (RootDatum,vec->int)
Defined poscoroot_index: (RootDatum,vec->int)
Defined rho: (RootDatum->ratvec)
Defined rho_as_vec: (RootDatum->vec)
Defined rho_check: (RootDatum->ratvec)
Defined is_positive_root: (RootDatum->(vec->bool))
Defined is_positive_coroot: (RootDatum->(vec->bool))
Defined is_negative_root: (RootDatum->(vec->bool))
Defined is_negative_coroot: (RootDatum->(vec->bool))
Added definition [2] of is_positive_root: (RootDatum,vec->bool)
Added definition [2] of is_positive_coroot: (RootDatum,vec->bool)
Added definition [2] of is_negative_root: (RootDatum,vec->bool)
Added definition [2] of is_negative_coroot: (RootDatum,vec->bool)
Defined roots_all_positive: (RootDatum->(mat->bool))
Defined coroots_all_positive: (RootDatum->(mat->bool))
Defined among_posroots: (RootDatum->(mat->bool))
Defined among_poscoroots: (RootDatum->(mat->bool))
Defined negative_system: (mat->mat)
Defined roots: (RootDatum->mat)
Defined coroots: (RootDatum->mat)
Added definition [2] of root: (RootDatum,vec->vec)
Added definition [2] of coroot: (RootDatum,vec->vec)
Defined reflection: (RootDatum,int->mat)
Added definition [2] of reflection: (RootDatum,vec->mat)
Defined coreflection: (RootDatum,int->mat)
Added definition [2] of coreflection: (RootDatum,vec->mat)
Defined reflect: (RootDatum,int,vec->vec)
Added definition [2] of reflect: (RootDatum,vec,vec->vec)
Defined coreflect: (RootDatum,vec,int->vec)
Added definition [2] of coreflect: (RootDatum,vec,vec->vec)
Added definition [3] of reflect: (RootDatum,int,ratvec->ratvec)
Added definition [4] of reflect: (RootDatum,vec,ratvec->ratvec)
Added definition [3] of coreflect: (RootDatum,ratvec,int->ratvec)
Added definition [4] of coreflect: (RootDatum,ratvec,vec->ratvec)
Defined left_reflect: (RootDatum,int,mat->mat)
Added definition [2] of left_reflect: (RootDatum,vec,mat->mat)
Defined right_reflect: (RootDatum,mat,int->mat)
Added definition [2] of right_reflect: (RootDatum,mat,vec->mat)
Defined conjugate: (RootDatum,int,mat->mat)
Added definition [2] of conjugate: (RootDatum,vec,mat->mat)
Defined singular_simple_indices: (RootDatum,ratvec->[int])
Defined is_imaginary: (mat->(vec->bool))
Defined is_real: (mat->(vec->bool))
Defined is_complex: (mat->(vec->bool))
Defined imaginary_roots: (RootDatum,mat->mat)
Defined real_roots: (RootDatum,mat->mat)
Defined imaginary_coroots: (RootDatum,mat->mat)
Defined real_coroots: (RootDatum,mat->mat)
Defined imaginary_posroots: (RootDatum,mat->mat)
Defined real_posroots: (RootDatum,mat->mat)
Defined imaginary_poscoroots: (RootDatum,mat->mat)
Defined real_poscoroots: (RootDatum,mat->mat)
Defined imaginary_sys: (RootDatum,mat->mat,mat)
Defined real_sys: (RootDatum,mat->mat,mat)
Defined is_dominant: (RootDatum,ratvec->bool)
Defined is_strictly_dominant: (RootDatum,ratvec->bool)
Defined is_regular: (RootDatum,ratvec->bool)
Defined is_integral: (RootDatum,ratvec->bool)
Defined radical_basis: (RootDatum->mat)
Defined coradical_basis: (RootDatum->mat)
Defined is_semisimple: (RootDatum->bool)
Defined derived_is_simply_connected: (RootDatum->bool)
Defined has_connected_center: (RootDatum->bool)
Defined is_simply_connected: (RootDatum->bool)
Defined is_adjoint: (RootDatum->bool)
Defined derived: (RootDatum->RootDatum)
Defined mod_central_torus: (RootDatum->RootDatum)
Added definition [2] of adjoint: (RootDatum->RootDatum)
Defined is_simple_for: (vec->(vec->bool))
Defined simple_from_positive: (mat,mat->mat,mat)
Defined fundamental_weights: (RootDatum->[ratvec])
Defined fundamental_coweights: (RootDatum->[ratvec])
Defined highest_root: (RootDatum->vec)
Defined dual_integral: (InnerClass,ratvec->InnerClass)
Defined Cartan_classes: (InnerClass->[CartanClass])
Defined print_Cartan_info: (CartanClass->)
Defined fundamental_Cartan: (InnerClass->CartanClass)
Added definition [2] of most_split_Cartan: (InnerClass->CartanClass)
Defined compact_rank: (CartanClass->int)
Defined split_rank: (CartanClass->int)
Added definition [2] of compact_rank: (InnerClass->int)
Added definition [2] of split_rank: (RealForm->int)
Defined is_equal_rank: (InnerClass->bool)
Defined is_split: (RealForm->bool)
Added definition [24] of =: (CartanClass,CartanClass->bool)
Defined number: (CartanClass,RealForm->int)
Defined form_name: (RealForm->string)
Added definition [2] of real_forms: (InnerClass->[RealForm])
Added definition [2] of dual_real_forms: (InnerClass->[RealForm])
Defined is_quasisplit: (RealForm->bool)
Defined is_quasicompact: (RealForm->bool)
Defined split_form: (RootDatum->RealForm)
Added definition [2] of split_form: (LieType->RealForm)
Defined quasicompact_form: (InnerClass->RealForm)
Defined is_compatible: (RealForm,RealForm->bool)
Defined is_compact: (RealForm->bool)
Added definition [5] of real_form: (KGBElt->RealForm)
Added definition [15] of #: (KGBElt->int)
Added definition [8] of root_datum: (KGBElt->RootDatum)
Added definition [5] of inner_class: (KGBElt->InnerClass)
Added definition [2] of KGB: (RealForm->[KGBElt])
Added definition [3] of KGB: (CartanClass,RealForm->[KGBElt])
Added definition [2] of KGB_elt: (InnerClass,mat,ratvec->KGBElt)
Added definition [3] of KGB_elt: (RootDatum,mat,ratvec->KGBElt)
Added definition [4] of Cartan_class: (InnerClass,mat->CartanClass)
Defined Bruhat_order: (RealForm->(KGBElt,KGBElt->bool))
Added definition [3] of status: (vec,KGBElt->int)
Added definition [5] of cross: (vec,KGBElt->KGBElt)
Added definition [5] of Cayley: (vec,KGBElt->KGBElt)
Defined W_cross: ([int],KGBElt->KGBElt)
Defined KGB_status_text: (int->string)
Defined status_text: (int,KGBElt->string)
Added definition [2] of status_text: (vec,KGBElt->string)
Defined status_texts: (KGBElt->[string])
Added definition [2] of is_complex: (int,KGBElt->bool)
Added definition [2] of is_real: (int,KGBElt->bool)
Added definition [2] of is_imaginary: (int,KGBElt->bool)
Defined is_noncompact: (int,KGBElt->bool)
Added definition [2] of is_compact: (int,KGBElt->bool)
Defined is_descent: (int,KGBElt->bool)
Defined is_ascent: (int,KGBElt->bool)
Defined is_strict_descent: (int,KGBElt->bool)
Added definition [3] of is_imaginary: (KGBElt->(vec->bool))
Added definition [3] of is_real: (KGBElt->(vec->bool))
Added definition [3] of is_complex: (KGBElt->(vec->bool))
Added definition [2] of imaginary_posroots: (KGBElt->mat)
Added definition [2] of real_posroots: (KGBElt->mat)
Added definition [2] of imaginary_poscoroots: (KGBElt->mat)
Added definition [2] of real_poscoroots: (KGBElt->mat)
Added definition [2] of imaginary_sys: (KGBElt->mat,mat)
Added definition [2] of real_sys: (KGBElt->mat,mat)
Defined rho_i: (KGBElt->ratvec)
Defined rho_r: (KGBElt->ratvec)
Defined rho_check_i: (KGBElt->ratvec)
Defined rho_check_r: (KGBElt->ratvec)
Added definition [2] of rho_i: (RootDatum,mat->ratvec)
Added definition [2] of rho_r: (RootDatum,mat->ratvec)
Added definition [2] of rho_check_i: (RootDatum,mat->ratvec)
Added definition [2] of rho_check_r: (RootDatum,mat->ratvec)
Added definition [3] of is_compact: (KGBElt->(vec->bool))
Added definition [2] of is_noncompact: (KGBElt->(vec->bool))
Defined is_compact_imaginary: (KGBElt->(vec->bool))
Defined is_noncompact_imaginary: (KGBElt->(vec->bool))
Defined compact_posroots: (KGBElt->mat)
Defined noncompact_posroots: (KGBElt->mat)
Defined rho_ci: (KGBElt->ratvec)
Defined rho_nci: (KGBElt->ratvec)
Added definition [4] of is_imaginary: (vec,KGBElt->bool)
Added definition [4] of is_real: (vec,KGBElt->bool)
Added definition [4] of is_complex: (vec,KGBElt->bool)
Added definition [2] of is_compact_imaginary: (vec,KGBElt->bool)
Added definition [2] of is_noncompact_imaginary: (vec,KGBElt->bool)
Added definition [2] of print_KGB: (KGBElt->)
Defined no_Cminus_roots: (KGBElt->bool)
Defined no_Cplus_roots: (KGBElt->bool)
Defined blocks: (InnerClass->[Block])
Added definition [2] of raw_KL: (RealForm,RealForm->mat,[vec],vec)
Added definition [2] of dual_KL: (RealForm,RealForm->mat,[vec],vec)
Added definition [3] of print_block: (RealForm,RealForm->)
Added definition [2] of print_blocku: (RealForm,RealForm->)
Added definition [2] of print_blockd: (RealForm,RealForm->)
Added definition [2] of print_KL_basis: (RealForm,RealForm->)
Added definition [2] of print_prim_KL: (RealForm,RealForm->)
Added definition [2] of print_KL_list: (RealForm,RealForm->)
Added definition [2] of print_W_cells: (RealForm,RealForm->)
Added definition [2] of print_W_graph: (RealForm,RealForm->)
Added definition [9] of root_datum: (Param->RootDatum)
Added definition [6] of inner_class: (Param->InnerClass)
Added definition [2] of null_module: (Param->ParamPol)
Defined x: (Param->KGBElt)
Defined lambda_minus_rho: (Param->vec)
Defined lambda: (Param->ratvec)
Defined infinitesimal_character: (Param->ratvec)
Defined d_lambda: (Param->ratvec)
Defined nu: (Param->ratvec)
Added definition [5] of Cartan_class: (Param->CartanClass)
Added definition [5] of involution: (Param->mat)
Added definition [2] of integrality_datum: (Param->RootDatum)
Added definition [2] of is_regular: (Param->bool)
Defined is_strongly_regular: (Param->bool)
Defined survives: (Param->bool)
Defined trivial: (RealForm->Param)
Added definition [2] of W_cross: ([int],Param->Param)
Defined parameter: (RealForm,int,ratvec,ratvec->Param)
Added definition [2] of parameter: (KGBElt,ratvec,ratvec->Param)
Defined parameter_gamma: (KGBElt,ratvec,ratvec->Param)
Defined singular_block: (Param->[Param],int)
Defined block_of: (Param->[Param])
Defined singular_block_of: (Param->[Param])
Defined imaginary_type: (int,Param->int)
Defined real_type: (int,Param->int)
Added definition [2] of imaginary_type: (vec,Param->int)
Added definition [2] of real_type: (vec,Param->int)
Defined is_nonparity: (int,Param->bool)
Defined is_parity: (int,Param->bool)
Added definition [2] of is_nonparity: (vec,Param->bool)
Added definition [2] of is_parity: (vec,Param->bool)
Added definition [4] of status: (vec,Param->int)
Added definition [5] of status: (int,Param->int)
Defined block_status_text: (int->string)
Added definition [3] of status_text: (int,Param->string)
Added definition [2] of status_texts: (Param->[string])
Added definition [4] of status_text: (vec,Param->string)
Defined parity_poscoroots: (Param->mat)
Defined nonparity_poscoroots: (Param->mat)
Added definition [2] of is_descent: (int,Param->bool)
Defined tau_bitset: (Param->(int->bool),int)
Defined tau: (Param->[int])
Defined tau_complement: (Param->[int])
Added definition [3] of is_descent: (vec,Param->bool)
Defined lookup: (Param,[Param]->int)
Defined orientation_nr_term: (int,Param->Split)
Variable extended_status_texts: [string]
Defined print_extended_block: (Param,mat->)
Added definition [3] of null_module: (ParamPol->ParamPol)
Added definition [18] of -: (ParamPol->ParamPol)
Defined first_param: (ParamPol->Param)
Defined last_param: (ParamPol->Param)
Added definition [2] of s_to_1: (ParamPol->ParamPol)
Added definition [2] of s_to_minus_1: (ParamPol->ParamPol)
Added definition [19] of -: (ParamPol,(Split,Param)->ParamPol)
Added definition [6] of sum: (RealForm,[ParamPol]->ParamPol)
Defined map: ((Param->Param),ParamPol->ParamPol)
Added definition [2] of map: ((Param->ParamPol),ParamPol->ParamPol)
Added definition [3] of half: (ParamPol->ParamPol)
Defined divide_by: (int,ParamPol->ParamPol)
Added definition [10] of root_datum: (ParamPol->RootDatum)
Defined virtual: (Param->ParamPol)
Added definition [2] of virtual: (RealForm,[Param]->ParamPol)
Added definition [3] of branch: (Param,Param->int)
Added definition [4] of branch: (ParamPol,Param->Split)
Defined pol_format: (ParamPol->string)
Added definition [2] of infinitesimal_character: (ParamPol->ratvec)
Defined height_split: (ParamPol,int->ParamPol,ParamPol)
Defined separate_by_infinitesimal_character: (ParamPol->[(ratvec,ParamPol)])
Defined is_pure_1: (ParamPol->bool)
Defined is_pure_s: (ParamPol->bool)
Added definition [2] of is_pure: (ParamPol->bool)
Defined purity: (ParamPol->int,int,int)
Defined find: ([int],int->int)
Added definition [2] of find: ([Param],Param->int)
Added definition [3] of find: ([KGBElt],KGBElt->int)
Added definition [4] of find: ([vec],vec->int)
Defined in_string_list: (string,[string]->bool)
Defined delete: ([int],int->[int])
Added definition [2] of delete: ([vec],int->[vec])
Added definition [3] of delete: ([ratvec],int->[ratvec])
Added definition [4] of delete: ([[ratvec]],int->[[ratvec]])
Added definition [5] of delete: ([[vec]],int->[[vec]])
Added definition [6] of delete: ([ParamPol],int->[ParamPol])
Defined positive_imaginary_roots_and_coroots: (RootDatum,mat->mat,mat)
Added definition [2] of positive_imaginary_roots_and_coroots: (KGBElt->mat,mat)
Defined imaginary_roots_and_coroots: (RootDatum,mat->mat,mat)
Added definition [2] of imaginary_roots_and_coroots: (KGBElt->mat,mat)
Defined positive_real_roots_and_coroots: (RootDatum,mat->mat,mat)
Added definition [2] of positive_real_roots_and_coroots: (KGBElt->mat,mat)
Defined real_roots_and_coroots: (RootDatum,mat->mat,mat)
Added definition [2] of real_roots_and_coroots: (KGBElt->mat,mat)
Defined complex_posroots: (RootDatum,mat->mat)
Added definition [2] of complex_posroots: (KGBElt->mat)
Defined pad: (string,int->string)
Defined monomials: (ParamPol->[Param])
Defined monomial: (ParamPol,int->Param)
Completely read file 'basic.at'.
atlas> $ ^3
Value:
| 3412, 2185 |
| 8740, 5597 |
atlas> $^10
Value:
| 1098931924, -364591943 |
| -1458367772, 734339981 |
atlas> 2^127
Value: 170141183460469231731687303715884105728
atlas> [ 0 , $ ]
Value: [0,170141183460469231731687303715884105728]
atlas> vec: $
Integer value to big for conversion
Evaluation aborted.
atlas> 3^300
Value: 136891479058588375991326027382088315966463695625337436471480190078368997177499076593800206155688941388250484440597994042813512732765695774566001
atlas> #10
Value: [0,1,2,3,4,5,6,7,8,9]
atlas> #$
Value: 10
atlas> #true
Value: 1
atlas> #false
Value: 0
atlas> 17^2017
Value: 6538444173191946725356086788875143815871094620860967195216789357334484249315185948912104064226727112943147117800711492564292044266122638469922008966983736339086466989016174078610733103332539757731137802399512003343625124343386277624588009690224892760568888761808639796673995942209307857848576316466473010173451696465917301705347078964976122652963013431215477182519614527986177319482876862185790006729919696686069752991554350595376044509919232510173435756988467101090953897624466214527423728846471100987067885291803008162656385040800198625905482819271650700410249505366503846459936537760833769947563531183039628791655318439512288167811904352241033937728380141790642584902708049032496037815382040466757980564273994668646497566399708024073941049964020030178787086430704544159585061330985450820942305754288878944567022343413749008408478953142784122091238350654992824796419664016208632676276540238901813168093668680690025633780735752158916895265260484806564798790533024252061959098807891884215367912698024118979736741135445269791519554963562425061831444841864808810249437382824712616704972742378861199782563653459210375267994058530227181319938471729468470899837856252214364769960255650275115905362498170260116955903242939166903987461411152054648167026576435126802021527888885041426782358997674835465696469692224676451774008447581653338370197361353403316777713290248754187584670020737219144080628923295892692383792250609131311831623586883587183745290205879339463042714981703376955957194098300735440241110342316602240738715402606046477268121390058134891936366480755646580099458886889123959127370998150597427663068882118350603433631059478299064365847561438571402551924491632325388568453787532530386244509093842862248781514407087051744290519389758699059645087255163431695645736136659308565786060479740941955652348906486024809058737025979523314497915336254218478247849842715285731268925568256412841330329025118081253062966780137667601675950377451169715767943130354688589494512949206340440484991268108287412296408482255468534979119477209515177546274751763328819238130893636855191366291888824913586623806663016968506812165850325663182024872368618258472948399792056454370294952411877826863702687721115288037865398716559440042116502317174657346599326441112045278575032676632990313771609990124965094288511883243556444450943716569630860239367555851786452714461087724583427328109848334507906006439196687055874511894564148510313947249263863388514950594022365658337364752537572064662357970384429084177
atlas> to_string($)
Value: "6538444173191946725356086788875143815871094620860967195216789357334484249315185948912104064226727112943147117800711492564292044266122638469922008966983736339086466989016174078610733103332539757731137802399512003343625124343386277624588009690224892760568888761808639796673995942209307857848576316466473010173451696465917301705347078964976122652963013431215477182519614527986177319482876862185790006729919696686069752991554350595376044509919232510173435756988467101090953897624466214527423728846471100987067885291803008162656385040800198625905482819271650700410249505366503846459936537760833769947563531183039628791655318439512288167811904352241033937728380141790642584902708049032496037815382040466757980564273994668646497566399708024073941049964020030178787086430704544159585061330985450820942305754288878944567022343413749008408478953142784122091238350654992824796419664016208632676276540238901813168093668680690025633780735752158916895265260484806564798790533024252061959098807891884215367912698024118979736741135445269791519554963562425061831444841864808810249437382824712616704972742378861199782563653459210375267994058530227181319938471729468470899837856252214364769960255650275115905362498170260116955903242939166903987461411152054648167026576435126802021527888885041426782358997674835465696469692224676451774008447581653338370197361353403316777713290248754187584670020737219144080628923295892692383792250609131311831623586883587183745290205879339463042714981703376955957194098300735440241110342316602240738715402606046477268121390058134891936366480755646580099458886889123959127370998150597427663068882118350603433631059478299064365847561438571402551924491632325388568453787532530386244509093842862248781514407087051744290519389758699059645087255163431695645736136659308565786060479740941955652348906486024809058737025979523314497915336254218478247849842715285731268925568256412841330329025118081253062966780137667601675950377451169715767943130354688589494512949206340440484991268108287412296408482255468534979119477209515177546274751763328819238130893636855191366291888824913586623806663016968506812165850325663182024872368618258472948399792056454370294952411877826863702687721115288037865398716559440042116502317174657346599326441112045278575032676632990313771609990124965094288511883243556444450943716569630860239367555851786452714461087724583427328109848334507906006439196687055874511894564148510313947249263863388514950594022365658337364752537572064662357970384429084177"
atlas> $[0:10]
Value: "6538444173"
atlas> 17^2017
Value: 6538444173191946725356086788875143815871094620860967195216789357334484249315185948912104064226727112943147117800711492564292044266122638469922008966983736339086466989016174078610733103332539757731137802399512003343625124343386277624588009690224892760568888761808639796673995942209307857848576316466473010173451696465917301705347078964976122652963013431215477182519614527986177319482876862185790006729919696686069752991554350595376044509919232510173435756988467101090953897624466214527423728846471100987067885291803008162656385040800198625905482819271650700410249505366503846459936537760833769947563531183039628791655318439512288167811904352241033937728380141790642584902708049032496037815382040466757980564273994668646497566399708024073941049964020030178787086430704544159585061330985450820942305754288878944567022343413749008408478953142784122091238350654992824796419664016208632676276540238901813168093668680690025633780735752158916895265260484806564798790533024252061959098807891884215367912698024118979736741135445269791519554963562425061831444841864808810249437382824712616704972742378861199782563653459210375267994058530227181319938471729468470899837856252214364769960255650275115905362498170260116955903242939166903987461411152054648167026576435126802021527888885041426782358997674835465696469692224676451774008447581653338370197361353403316777713290248754187584670020737219144080628923295892692383792250609131311831623586883587183745290205879339463042714981703376955957194098300735440241110342316602240738715402606046477268121390058134891936366480755646580099458886889123959127370998150597427663068882118350603433631059478299064365847561438571402551924491632325388568453787532530386244509093842862248781514407087051744290519389758699059645087255163431695645736136659308565786060479740941955652348906486024809058737025979523314497915336254218478247849842715285731268925568256412841330329025118081253062966780137667601675950377451169715767943130354688589494512949206340440484991268108287412296408482255468534979119477209515177546274751763328819238130893636855191366291888824913586623806663016968506812165850325663182024872368618258472948399792056454370294952411877826863702687721115288037865398716559440042116502317174657346599326441112045278575032676632990313771609990124965094288511883243556444450943716569630860239367555851786452714461087724583427328109848334507906006439196687055874511894564148510313947249263863388514950594022365658337364752537572064662357970384429084177
atlas> set str=to_string($)
Variable str: string
atlas> str
Value: "6538444173191946725356086788875143815871094620860967195216789357334484249315185948912104064226727112943147117800711492564292044266122638469922008966983736339086466989016174078610733103332539757731137802399512003343625124343386277624588009690224892760568888761808639796673995942209307857848576316466473010173451696465917301705347078964976122652963013431215477182519614527986177319482876862185790006729919696686069752991554350595376044509919232510173435756988467101090953897624466214527423728846471100987067885291803008162656385040800198625905482819271650700410249505366503846459936537760833769947563531183039628791655318439512288167811904352241033937728380141790642584902708049032496037815382040466757980564273994668646497566399708024073941049964020030178787086430704544159585061330985450820942305754288878944567022343413749008408478953142784122091238350654992824796419664016208632676276540238901813168093668680690025633780735752158916895265260484806564798790533024252061959098807891884215367912698024118979736741135445269791519554963562425061831444841864808810249437382824712616704972742378861199782563653459210375267994058530227181319938471729468470899837856252214364769960255650275115905362498170260116955903242939166903987461411152054648167026576435126802021527888885041426782358997674835465696469692224676451774008447581653338370197361353403316777713290248754187584670020737219144080628923295892692383792250609131311831623586883587183745290205879339463042714981703376955957194098300735440241110342316602240738715402606046477268121390058134891936366480755646580099458886889123959127370998150597427663068882118350603433631059478299064365847561438571402551924491632325388568453787532530386244509093842862248781514407087051744290519389758699059645087255163431695645736136659308565786060479740941955652348906486024809058737025979523314497915336254218478247849842715285731268925568256412841330329025118081253062966780137667601675950377451169715767943130354688589494512949206340440484991268108287412296408482255468534979119477209515177546274751763328819238130893636855191366291888824913586623806663016968506812165850325663182024872368618258472948399792056454370294952411877826863702687721115288037865398716559440042116502317174657346599326441112045278575032676632990313771609990124965094288511883243556444450943716569630860239367555851786452714461087724583427328109848334507906006439196687055874511894564148510313947249263863388514950594022365658337364752537572064662357970384429084177"
atlas> first(#str-2,str[i:i+3]="999")
Error during analysis of expression at <standard input>:47:0-30
Undefined identifier 'i'
Expression analysis failed
atlas> first(#str-2,(int i): str[i:i+3]="999")
Value: 2271
atlas> str[2270:2280]
Value: "0999012496"
atlas> whattype to_string ?
No overloads for 'to_string'
atlas> string: 567
Error during analysis of expression at <standard input>:51:0-11
Type error:
Subexpression 567 at <standard input>:51:8-11
has wrong type: found int while string was needed.
Expression analysis failed
atlas> 2
Value: 2
atlas> rat: 2
Value: 2/1
atlas> int: $
Error during analysis of expression at <standard input>:54:0-6
Type error:
Subexpression $ at <standard input>:54:5-6
has wrong type: found rat while int was needed.
Expression analysis failed
atlas> floor($)
Value: 2
atlas> f(x)
Error during analysis of expression at <standard input>:56:0-4
Undefined identifier 'f'
Expression analysis failed
atlas> floor(2/1)
Value: 2
atlas> floor(7/4)
Value: 1
atlas> (7/4).floor
Value: 1
atlas> help
Error during analysis of expression at <standard input>:60:0-4
Undefined identifier 'help'
Expression analysis failed
atlas> i
id_mat is_even
if is_final
imaginary_coroots is_imaginary
imaginary_poscoroots is_integer
imaginary_posroots is_integral
imaginary_roots is_member
imaginary_roots_and_coroots is_negative_coroot
imaginary_sys is_negative_root
imaginary_type is_noncompact
in is_noncompact_imaginary
in_string_list is_nonparity
index is_odd
infinitesimal_character is_parity
initial_torus_bits is_poscoroot
inner_class is_positive_coroot
input_path is_positive_root
int is_posroot
int_format is_pure
int_part is_pure_1
integrality_datum is_pure_s
integrality_points is_quasicompact
inv_Cayley is_quasisplit
inv_fact is_real
inverse is_regular
inverse_Cayley is_root
invert is_semifinal
involution is_semisimple
is_adjoint is_simple_for
is_ascent is_simply_connected
is_compact is_split
is_compact_imaginary is_standard
is_compatible is_strict_descent
is_complex is_strictly_dominant
is_coroot is_strongly_regular
is_descent is_substring
is_dominant is_zero
is_equal_rank
atlas> do
do dominant dont downto
atlas> whttype downto
^^^^^^
syntax error, unexpected DOWNTO, expecting '\n'
atlas> whattype downto
^^^^^^
syntax error, unexpected DOWNTO
atlas> whattype is_semisimple
Error during analysis of expression at <standard input>:63:9-22
Undefined identifier 'is_semisimple'
Expression analysis failed
atlas> whattype is_semisimple ?
Overloaded instances of 'is_semisimple'
RootDatum->bool
atlas> set v=[1,2,3]
Variable v: [int]
atlas> vec:v
Value: [ 1, 2, 3 ]
atlas> v
Value: [1,2,3]
atlas> v:= [2,3,4]
Value: [2,3,4]
atlas> v:= [2,4]
Value: [2,4]
atlas> v
Value: [2,4]
atlas> v:= vec:v
^^^
syntax error, unexpected PRIMTYPE
atlas> v:= (vec:v)
Value: [2,4]
atlas> whattype $
type: [int]
atlas> set v= vec:v
Variable v: vec (overriding previous instance, which had type [int])
atlas> v
Value: [ 2, 4 ]
atlas> set force = void: v:=[2,3,4]
Variable force: void
atlas> set force () = void: v:=[2,3,4]
Defined force: (->)
atlas> v
Value: [ 2, 3, 4 ]
atlas> v:=[4]
Value: [ 4 ]
atlas> v
Value: [ 4 ]
atlas> force()
atlas> v
Value: [ 2, 3, 4 ]
atlas> set v=3/4
Variable v: rat (overriding previous instance, which had type vec)
atlas> v
Value: 3/4
atlas> force()
atlas> v
Value: 3/4
atlas>