Object Info
object <-- transformation <-- fold
cnf
dnf
rnf
logic
rfac1
anf
mnf
lfac
rfac
afac
mfac
horner
full_expand
expand
factor
power
exp_exp
exp_fac
log_fac
linfac
lincom
linex
diff
chdiff
chint
nodiff
opdiff
rulebase <-- fold
fold(default)
logic
logic(default)
logic(expand)
logic(factor)
logic(abs)
horner
horner(default)
factor
factor(default)
factor(expand)
factor(factor)
power
power(default)
power(log)
power(expand)
power(factor)
linear
linear(default)
linear(full)
linear(expand)
linear(combine)
linear(factor)
diff
diff(default)
diff(full)
diff(chain)
diff(none)
strategy <-- default
expand
factor
abs
log
full
combine
chain
none
script <-- script(_G21909)
constant <-- constant(_G21921)
list_op <-- length(_G22022)
reverse(_G22022)
_G22022 union _G22023
_G22022 intersection _G22023
_G22022 minus _G22023
_G22022 subset _G22023
_G22022 in _G22023
_G22022 notin _G22023
_G22022 // _G22023
_G22022 $ _G22023
_G22022 | _G22023
type <-- subtype_of(_G22004, _G22005) <-- rational
index
integer(_G22200)
real(_G22200)
lvalue(_G22004)
_G22200 array _G22206
_G22206 array _G22201
range(_G22205)
list(_G22205)
assoc_op(_G22004)
real
integer
complex
boolean
string
coordinate
statement
_G22004 -> _G22005
_G22004, _G22005
interval(_G22004)
domain(_G22004)
iteration(_G22004)
reference(_G22004)
unit(_G22004, _G22005)
mono(_G22004, _G22005, _G22006, _G22007, _G22008, _G22009, _G22010)
repeat(_G22004)
grid_type
independent_var
statement_op <-- comment(_G22052)
_G22052 program _G22053
_G22052 procedure _G22053
_G22052 function _G22053
_G22052 & _G22053
_G22052; _G22053
_G22052 := _G22053
_G22052 do _G22053
_G22052 doall _G22053
_G22052 for _G22053
_G22052 forall _G22053
_G22052 while _G22053
_G22052 until _G22053
_G22052 repeat _G22053
for _G22052
forall _G22052
while _G22052
until _G22052
call(_G22052)
repeat(_G22052, _G22053, _G22054, _G22055, _G22056, _G22057)
repeat(_G22052, _G22053, _G22054, _G22055, _G22056, _G22057, _G22058, _G22059)
return
return _G22052
_G22052 \\ _G22053
_G22052 if _G22053
_G22052 ! _G22053
true
false
e
pi
id
infinity
undefined
nil
$LAZY(_G21921, _G21922)
$ _G21921
+
*
and
or
max
min
_G21921 = _G21922
_G21921 .. _G21922
_G21921 step _G21922
_G21921 up _G21922
_G21921 down _G21922
_G21921 : _G21922
_G21921 ~ _G21922
_G21921 local _G21922
_G21921 :: _G21922
_G21921 field _G21922
_G21921 monotonic _G21922
_G21921 by _G21922
_G21921 # _G21922
varidx(_G21921, _G21922)
on _G21921
off _G21921
before _G21921
after _G21921
on
off
html_reply
html_start
html_end
html_p
html_br
html_hr
html_dt
html_dd
html_li
html_head(_G21921, _G21922)
html_body(_G21921, _G21922)
html_nobody(_G21921)
html(_G21921)
html_subdocument(_G21921, _G21922, _G21923)
html_goal(_G21921)
html_latex(_G21921)
html_latex(_G21921, _G21922)
html_latex_math(_G21921)
html_latex_math(_G21921, _G21922)
html_label_latex(_G21921, _G21922)
html_label_latex_math(_G21921, _G21922)
html_nolatex(_G21921)
html_center_math(_G21921)
html_print(_G21921)
html_comment(_G21921)
html_label(_G21921, _G21922)
html_label(_G21921)
html_ref(_G21921, _G21922)
html_ref(_G21921, _G21922, _G21923)
html_source(_G21921)
html_title(_G21921)
html_pre(_G21921)
html_img(_G21921, _G21922)
html_blockquote(_G21921)
html_font(_G21921, _G21922)
html_blink(_G21921)
html_center(_G21921)
html_em(_G21921)
html_strong(_G21921)
html_code(_G21921)
html_samp(_G21921)
html_kbd(_G21921)
html_var(_G21921)
html_cite(_G21921)
html_b(_G21921)
html_i(_G21921)
html_u(_G21921)
html_tt(_G21921)
html_big(_G21921)
html_small(_G21921)
html_sub(_G21921)
html_sup(_G21921)
html_h1(_G21921)
html_h2(_G21921)
html_h3(_G21921)
html_h4(_G21921)
html_h5(_G21921)
html_h6(_G21921)
html_ul(_G21921, _G21922, _G21923)
html_ol(_G21921, _G21922, _G21923)
html_dl(_G21921, _G21922, _G21923)
html_menu(_G21921, _G21922, _G21923)
html_fig(_G21921, _G21922)
html_caption(_G21921)
html_caption(_G21921, _G21922)
html_credit(_G21921)
html_table(_G21921)
html_table(_G21921, _G21922)
html_tr(_G21921)
html_th(_G21921)
html_th(_G21921, _G21922)
html_td(_G21921)
html_td(_G21921, _G21922)
html_frameset(_G21921, _G21922)
html_frame(_G21921, _G21922)
html_iframe(_G21921, _G21922)
html_noframes(_G21921)
html_image(_G21921)
html_image(_G21921, _G21922)
html_figure(_G21921, _G21922)
html_itemize(_G21921)
html_itemize(_G21921, _G21922)
html_enumerate(_G21921)
html_description(_G21921)
html_multipart_form(_G21921, _G21922)
html_form(_G21921, _G21922)
html_form(_G21921, _G21922, _G21923)
html_input(_G21921, _G21922)
html_textarea(_G21921, _G21922, _G21923)
html_text(_G21921)
html_text(_G21921, _G21922)
html_text(_G21921, _G21922, _G21923)
html_password(_G21921)
html_checkbox(_G21921, _G21922)
html_checkbox(_G21921, _G21922, _G21923)
html_radio(_G21921, _G21922, _G21923)
html_radio(_G21921, _G21922, _G21923, _G21924)
html_hidden(_G21921, _G21922)
html_hidden(_G21921, _G21922, _G21923)
html_selection(_G21921, _G21922)
html_selection(_G21921, _G21922, _G21923)
html_optgroup(_G21921, _G21922)
html_options(_G21921)
html_submit(_G21921)
html_submit(_G21921, _G21922)
html_reset(_G21921)
html_reset(_G21921, _G21922)
html_button(_G21921, _G21922, _G21923)
html_image_button(_G21921, _G21922)
html_file(_G21921)
d
d_times(_G21921, _G21922)
d_deriv(_G21921, _G21922)
nabla
nabla_square
nabla_plus(_G21921)
nabla_times(_G21921)
nabla_times_plus(_G21921, _G21922)
nabla_square_plus(_G21921)
nabla_square_times(_G21921)
nabla_square_times_plus(_G21921, _G21922)
nabla_dot(_G21921)
nabla_cross(_G21921)
nabla_times_dot(_G21921)
nabla_times_cross(_G21921)
variable <-- dependent_var <-- temporary_var <-- dice_var
parameter_var
fundamental_var
derived_var
linearized_var
abstract_var <-- abstract_var_for(_G22052)
index_var
operator <-- range_optimizable_op <-- reduction_op_for(_G22100) <-- any(_G22295, _G22296)
all(_G22295, _G22296)
maxval(_G22295, _G22296)
minval(_G22295, _G22296)
sum(_G22295, _G22296)
prod(_G22295, _G22296)
reduce(_G22295, _G22296, _G22100)
scan(_G22295, _G22296, _G22100)
_G22100 or _G22101
_G22100 and _G22101
not _G22100
_G22100 < _G22101
_G22100 <= _G22101
_G22100 > _G22101
_G22100 >= _G22101
_G22100 <> _G22101
_G22100 == _G22101
_G22100 max _G22101
_G22100 min _G22101
+ _G22100
- _G22100
_G22100 + _G22101
_G22100 - _G22101
_G22100 * _G22101
_G22100 / _G22101
_G22100 div _G22101
_G22100 mod _G22101
_G22100 rem _G22101
_G22100 ^ _G22101
abs(_G22100)
varidx(_G22100, _G22101)
lb(_G22100)
ub(_G22100)
commuting_op <-- self_commuting_op <-- differentiation_op <-- diff(_G22380, _G22381)
df(_G22380, _G22381)
D(_G22380)
integration_op <-- int(_G22356, _G22357)
_G22213 do _G22214
_G22213 doall _G22214
_G22213 @ _G22214
reduction_op <-- reduction_op_for(_G22183) <-- any(_G22378, _G22379)
all(_G22378, _G22379)
maxval(_G22378, _G22379)
minval(_G22378, _G22379)
sum(_G22378, _G22379)
prod(_G22378, _G22379)
reduce(_G22378, _G22379, _G22183)
scan(_G22378, _G22379, _G22183)
stencil_op <-- replicate(_G22171, _G22172)
linear_op <-- reduction_op_for(+) <-- sum(_G22230, _G22231)
reduce(_G22230, _G22231, +)
scan(_G22230, _G22231, +)
differentiation_op <-- diff(_G22201, _G22202)
df(_G22201, _G22202)
D(_G22201)
integration_op <-- int(_G22177, _G22178)
associative_op <-- abelian_op <-- meet_op <-- meet_op_for(_G22284)
_G22284 ! _G22285
_G22284 or _G22285
_G22284 and _G22285
_G22284 union _G22285
_G22284 intersection _G22285
_G22284 max _G22285
_G22284 min _G22285
_G22183 & _G22184
_G22183 eqv _G22184
_G22183 xor _G22184
_G22183 + _G22184
_G22183 * _G22184
_G22183 # _G22184
_G22064; _G22065
_G22064 \\ _G22065
_G22064 if _G22065
_G22064 ? _G22065
_G22064 by _G22065
_G22064 with _G22065
_G22064 ++ _G22065
_G22064 &* _G22065
commutative_op <-- abelian_op <-- meet_op <-- meet_op_for(_G22284)
_G22284 ! _G22285
_G22284 or _G22285
_G22284 and _G22285
_G22284 union _G22285
_G22284 intersection _G22285
_G22284 max _G22285
_G22284 min _G22285
_G22183 & _G22184
_G22183 eqv _G22184
_G22183 xor _G22184
_G22183 + _G22184
_G22183 * _G22184
_G22183 # _G22184
_G22064 <> _G22065
_G22064 == _G22065
_G22064 =@= _G22065
_G22064 <@> _G22065
idempotent_op <-- meet_op <-- meet_op_for(_G22159)
_G22159 ! _G22160
_G22159 or _G22160
_G22159 and _G22160
_G22159 union _G22160
_G22159 intersection _G22160
_G22159 max _G22160
_G22159 min _G22160
_G22058 \\ _G22059
_G22058 if _G22059
_G22058 ? _G22059
abstract_op <-- abstract_op_for(_G22046)
subroutine
declared_op(_G21921)
conversion_op_for(_G21921) <-- between(_G22122, _G22123, _G22124)
complex(_G22122)
real(_G22122)
convertable_op_for(_G21921)
uncommon_op <-- code(_G22046, _G22047)
not _G22046
+ _G22046
- _G22046
_G22046 by _G22047
_G22046 # _G22047
@ _G22046
_G22046 @ _G22047
lb(_G22046)
ub(_G22046)
idx(_G22046)
code_op <-- _G22022 \\ _G22023
_G22022 if _G22023
_G22022 ! _G22023
_G22022 ? _G22023
iterate(_G22022, _G22023, _G22024, _G22025)
iterate(_G22022, _G22023, _G22024)
reduce(_G22022, _G22023, _G22024)
scan(_G22022, _G22023, _G22024)
elemental_op <-- between(_G22052, _G22053, _G22054)
prob(_G22052, _G22053)
type(_G22052, _G22053)
_G22052 \\ _G22053
_G22052 if _G22053
_G22052 ! _G22053
_G22052 ? _G22053
_G22052 otherwise
_G22052 eqv _G22053
_G22052 xor _G22053
_G22052 or _G22053
_G22052 imp _G22053
_G22052 and _G22053
not _G22052
_G22052 < _G22053
_G22052 <= _G22053
_G22052 > _G22053
_G22052 >= _G22053
_G22052 <> _G22053
_G22052 == _G22053
_G22052 =@= _G22053
_G22052 <@> _G22053
_G22052 @< _G22053
_G22052 @<= _G22053
_G22052 @> _G22053
_G22052 @>= _G22053
_G22052 max _G22053
_G22052 min _G22053
+ _G22052
- _G22052
_G22052 + _G22053
_G22052 - _G22053
_G22052 * _G22053
_G22052 / _G22053
_G22052 div _G22053
_G22052 mod _G22053
_G22052 rem _G22053
_G22052 ^ _G22053
_G22052 ~ _G22053
_G22052 // _G22053
abs(_G22052)
acos(_G22052)
acosh(_G22052)
asin(_G22052)
asinh(_G22052)
atan(_G22052)
atan(_G22052, _G22053)
atanh(_G22052)
bin(_G22052, _G22053)
complex(_G22052)
complex(_G22052, _G22053)
conj(_G22052)
cos(_G22052)
cosh(_G22052)
ceil(_G22052)
exp(_G22052)
fac(_G22052)
floor(_G22052)
frac(_G22052)
gcd(_G22052, _G22053)
if(_G22052, _G22053, _G22054)
im(_G22052)
lcm(_G22052, _G22053)
log(_G22052)
log10(_G22052)
re(_G22052)
real(_G22052)
round(_G22052)
sign(_G22052)
sign(_G22052, _G22053)
sin(_G22052)
sinh(_G22052)
sqrt(_G22052)
tan(_G22052)
tanh(_G22052)
trunc(_G22052)
_G22052 $ _G22053
_G22052 | _G22053
varidx(_G22052, _G22053)
lb(_G22052)
ub(_G22052)
lb(_G22052, _G22053)
ub(_G22052, _G22053)
idx(_G22052)
total_op <-- between(_G22028, _G22029, _G22030)
prob(_G22028, _G22029)
type(_G22028, _G22029)
code(_G22028, _G22029)
_G22028 where _G22029
_G22028 \\ _G22029
_G22028 if _G22029
_G22028 ! _G22029
_G22028 ? _G22029
_G22028 otherwise
_G22028 eqv _G22029
_G22028 xor _G22029
_G22028 or _G22029
_G22028 imp _G22029
_G22028 and _G22029
not _G22028
_G22028 < _G22029
_G22028 <= _G22029
_G22028 > _G22029
_G22028 >= _G22029
_G22028 <> _G22029
_G22028 == _G22029
_G22028 =@= _G22029
_G22028 <@> _G22029
_G22028 @< _G22029
_G22028 @<= _G22029
_G22028 @> _G22029
_G22028 @>= _G22029
_G22028 = _G22029
_G22028 union _G22029
_G22028 intersection _G22029
_G22028 minus _G22029
_G22028 subset _G22029
_G22028 in _G22029
_G22028 notin _G22029
_G22028 .. _G22029
_G22028 step _G22029
_G22028 up _G22029
_G22028 down _G22029
_G22028 : _G22029
_G22028 max _G22029
_G22028 min _G22029
+ _G22028
- _G22028
_G22028 + _G22029
_G22028 - _G22029
_G22028 * _G22029
_G22028 ~ _G22029
_G22028 // _G22029
abs(_G22028)
bin(_G22028, _G22029)
complex(_G22028)
complex(_G22028, _G22029)
conj(_G22028)
cos(_G22028)
cosh(_G22028)
ceil(_G22028)
exp(_G22028)
floor(_G22028)
frac(_G22028)
gcd(_G22028, _G22029)
if(_G22028, _G22029, _G22030)
im(_G22028)
lcm(_G22028, _G22029)
re(_G22028)
real(_G22028)
round(_G22028)
sign(_G22028)
sign(_G22028, _G22029)
sin(_G22028)
sinh(_G22028)
tan(_G22028)
tanh(_G22028)
trunc(_G22028)
varidx(_G22028, _G22029)
@ _G22028
_G22028 @ _G22029
lb(_G22028)
ub(_G22028)
lb(_G22028, _G22029)
ub(_G22028, _G22029)
idx(_G22028)
first(_G22028)
second(_G22028)
on _G22028
off _G22028
before _G22028
after _G22028
intrinsic_op(_G21921, _G21922, _G21923) <-- confirm(_G22166)
input(_G22166)
read_term
print(_G22166)
format(_G22166)
format(_G22166, _G22167)
message(_G22166)
message(_G22166, _G22167)
banner(_G22166)
banner(_G22166, _G22167)
verbose(_G22166)
verbose(_G22166, _G22167)
error(_G22166)
error(_G22166, _G22167)
warning(_G22166)
warning(_G22166, _G22167)
abort
abort(_G22166)
abort(_G22166, _G22167)
sort(_G22166)
seeing
telling
seeing_file
telling_file
read_file(_G22166, _G22167)
write_file(_G22166, _G22167)
new_file(_G22166, _G22167)
append_file(_G22166, _G22167)
remove_file(_G22166, _G22167)
read_file(_G22166)
write_file(_G22166)
new_file(_G22166)
append_file(_G22166)
remove_file(_G22166)
close_file(_G22166)
close_file
exists_file(_G22166)
file_contents_to_string(_G22166)
delete_nth1(_G22172, _G22173)
replace_nth1(_G22166, _G22167, _G22168)
substring(_G22166, _G22167, _G22168)
string_to_list(_G22166)
atom_to_term(_G22168)
functor(_G22174)
is_constant(_G22166)
is_atom(_G22166)
is_atomic(_G22166)
is_number(_G22166)
is_integer(_G22166)
is_rational(_G22166)
is_float(_G22166)
is_string(_G22166)
is_list(_G22166)
is_op(_G22166)
is_instance(_G22166)
_G22166 instance_of _G22167
_G22166 parent_of _G22167
_G22166 isa _G22167
free_of(_G22166, _G22167)
subterm(_G22166, _G22167)
substitute(_G22166, _G22167)
setrandom(_G22166)
shell _G22166
cd
cd _G22166
date
date(_G22166)
get_time
ls
ls _G22166
pwd
getenv(_G22166)
setenv(_G22166, _G22167)
menu(_G22166, _G22167)
tty_size
tty_flash
tty_clear
associative(_G22166)
commutative(_G22166)
idempotent(_G22166)
commuting(_G22166)
zero_element(_G22166)
unit_element(_G22166)
invert_element(_G22166, _G22167)
latex(_G22166)
latexm(_G22166)
view_latex(_G22166)
view_latex(_G22166, _G22167)
view_latexm(_G22166)
view_latexm(_G22166, _G22167)
view_latex_list(_G22166)
view_latex_list(_G22166, _G22167)
view_latexm_list(_G22166)
view_latexm_list(_G22166, _G22167)
latex_prolog_file(_G22166)
view_latex_prolog_file(_G22166)
retrieve(_G22168, _G22169)
store(_G22166, _G22167)
expand(_G22168, _G22169, _G22170)
dice(_G22176)
domains_and_ranges(_G22168)
domains(_G22168)
domain_loops(_G22168)
get_declaration(_G22168)
type(_G22166)
_G22168 convert _G22169
topsort(_G22168)
save(_G22166, _G22167)
subroutine(_G22166, _G22167, _G22168)
html_document(_G22166, _G22167, _G22168)
reset_html
output_html(_G22166)
input_html_form
input_html_query
html_form_value(_G22166)
html_query_value(_G22166)
html_query(_G22166)
html_prolog_file(_G22166)
fort(_G22166, _G22167)
fort(_G22166)
stmt(_G22166)
expr(_G22166)
fort_declarations
mkcgi(_G22166)
transpose _G22166
gauss(_G22166)
external_op(_G21921, _G21922, _G21923) <-- make
about(_G22160)
source(_G22160)
_G22160 transformations
_G22160 => _G22161
normalize(_G22160, _G22161)
transform(_G22160, _G22161)
mode(_G22160, _G22161)
with _G22160
reload_rulebases
load_rulebase(_G22160)
about_rulebase(_G22160)
gpas_profile
remove_rules(_G22160)
about_rules(_G22160)
list_rules(_G22160)
trace_rules(_G22160)
notrace_rules(_G22160)
expand(_G22160, _G22161)
unexpand(_G22160)
space _G22160
_G22160 :: _G22161
_G22160 = _G22161
html_objects
html_objects(_G22160)
if _G21921
_G21921 then _G21922
_G21921 else _G21922
\ _G21921
maxloc(_G21921, _G21922)
minloc(_G21921, _G21922)
firstloc(_G21921, _G21922, _G21923)
lastloc(_G21921, _G21922, _G21923)
count(_G21921, _G21922)
_G21921 :- _G21922
_G21921 <- _G21922
declared_object(_G21814) <-- declared_var(_G21814)
declared_op(_G21814)
undeclared_object
fortran_name_of(_G21814)
switch <-- html
double
verbose
trace
latex_math
latex_list
latex_code
no_trans
no_const
fast_dag_compression
html_tth
html_tth_linked
fort77_switch <-- hpf_forall
enddo
serial
capcase
uscore
counter <-- display_columns
display_position
latex_width
latex_savebox_size
latex_savebox_nest
latex_max_subscripted_name_length
latex_boxno_start
latex_boxno
latex_varno
html_width
fortran_name_length
gcd(_G21814)
lcm(_G21814)
foreach _G21814
_G21814 ==> _G21815
_G21814 *=> _G21815
_G21814 can _G21815
feature <-- is_associative
is_commutative
is_idempotent
is_abelian
has_precedence
is_linear
is_self_commuting
can_commute_over
is_stencil_op
is_differentiation_op
is_integration_op
has_latex_name
has_latex_math_annotation
has_fortran_name
is_abstraction_of
is_converter_of
is_elemental
is_total
is_intrinsic
is_external
is_inert
is_type
is_grid_type
is_dependent_of
is_derived
is_temporary
has_inverse
has_derivative
has_adjoint
cls
help
help(_G21814)
main
synthesize(_G21814, _G21815, _G21816)
html_appearance
html_red(_G21814)
html_green(_G21814)
html_blue(_G21814)
html_yellow(_G21814)
html_magenta(_G21814)
html_cyan(_G21814)
html_white(_G21814)
html_black(_G21814)
html_table_1(_G21814, _G21815)
html_table_2(_G21814, _G21815)
html_table_3(_G21814, _G21815)
html_table_d(_G21814)
html_table_c(_G21814)
html_table_r(_G21814)
html_table_rc(_G21814)
html_table_h(_G21814)
html_fortran(_G21814)
html_hpf(_G21814)
integrate(_G21814, _G21815)
clear_D
d _G21814
zero(_G21814)
zero(_G21814, _G21815)
ident(_G21814)
_G21814 .* _G21815
_G21814 #* _G21815
matmult_(_G21814, _G21815)
dotprodrows_(_G21814, _G21815)
_G21814 \ _G21815
grad _G21814
div _G21814
curl _G21814
lapl _G21814
coordinate_system(_G21814)
form_handler_site
this_file
form_handler
save_cgi
---------- Methods:
object can get_saved(_G21991, _G21992)
restore(_G21991)
freeze(_G21991, _G21992)
save(_G21991, _G21992)
get_properties(_G21991, _G21992)
get_superobjects(_G21991, _G21992)
get_subobjects(_G21991, _G21992)
get_parents(_G21991, _G21992)
get_children(_G21991, _G21992)
get_instances(_G21991, _G21992)
create(_G21991, _G21992, _G21993)
create(_G21991, _G21992)
get_dependencies(_G21991, _G21992)