Команды
@Список_имен - отображения
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
var(ex("list",[])),w("-"),w("отображения")
Вводятся несколько новых отображений с указанными именами.
morphisms
- Login to post comments
@tepm1 = @term2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм, терм
var(ex("term",[])), var(ex("term",[]))
Полагаются равными два выражения.
make_equal
- Login to post comments
Приравнять @От1 к @От2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм, терм
var(ex("term",[])), var(ex("term",[]))
Полагаются равными два выражения. Синоним шаблона "@term1=@term2".
make_equal
- Login to post comments
@Выраж1_mor не равно @Выраж2_mor
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм функции, терм функции
var(ex("mor",[])), var(ex("mor",[]))
Выражения полагаются неравными.
not_equal
- Login to post comments
@Выраж1_ob не равно @Выраж2_ob
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Выражения полагаются неравными.
not_equal
- Login to post comments
@A - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Область A делается подобластью в B.
make_subobject
- Login to post comments
@Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
область, область
var(ex("ob",[])), var(ex("ob",[]))
Область1 делается подобластью Области2.
make_subobject
- Login to post comments
Введем шаблон "@текст_шаблона"
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
new , new , new , new , new , new , new
Шаблон для определения нового шаблона:
Введем шаблон "@текст_шаблона"
с переменными:
"@список_переменных"
new_in_template
- Login to post comments
@Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Область1 делается подобластью Области2.
make_subobject
- Login to post comments
Удалить шаблон "@текст_шаблона"
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
new , new , область
Шаблон для удаления шаблона.
Текст шаблона:
Удалить шаблон "@текст_шаблона"
с переменными типа:
d_templ
- Login to post comments
