Команды
@Имя - отображение
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
Новый термин.
Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.
Комментарий:
Вводится новое отображение с указанным именем.
Имя операции:
morphism
@NewF: @X -> @Y
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])
Комментарий:
Строится новое отображение F из X в Y.
Имя операции:
mk_mor
@Список_имен - отображения
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
var(ex("list",[])),w("-"),w("отображения")
Комментарий:
Вводятся несколько новых отображений с указанными именами.
Имя операции:
morphisms
@tepm1 = @term2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм, терм
var(ex("term",[])), var(ex("term",[]))
Комментарий:
Полагаются равными два выражения.
Имя операции:
make_equal
Приравнять @От1 к @От2
Submitted by admin on сб, 2007-04-21 20:00.Тип результата:
команда
ex("command",[])
Шаблон разработан в понятии:
Тип аргументов:
терм, терм
var(ex("term",[])), var(ex("term",[]))
Комментарий:
Полагаются равными два выражения. Синоним шаблона "@term1=@term2".
Имя операции:
make_equal
