Команды

@Имя - отображение

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Новый термин.
Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.

Комментарий: 

Вводится новое отображение с указанным именем.

Имя операции: 

morphism

@NewF: @X -> @Y

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])

Комментарий: 

Строится новое отображение F из X в Y.

Имя операции: 

mk_mor

@Список_имен - отображения

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

var(ex("list",[])),w("-"),w("отображения")

Комментарий: 

Вводятся несколько новых отображений с указанными именами.

Имя операции: 

morphisms

@tepm1 = @term2

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм, терм
var(ex("term",[])), var(ex("term",[]))

Комментарий: 

Полагаются равными два выражения.

Имя операции: 

make_equal

Приравнять @От1 к @От2

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм, терм
var(ex("term",[])), var(ex("term",[]))

Комментарий: 

Полагаются равными два выражения. Синоним шаблона "@term1=@term2".

Имя операции: 

make_equal

@Выраж1_mor не равно @Выраж2_mor

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм функции, терм функции
var(ex("mor",[])), var(ex("mor",[]))

Комментарий: 

Выражения полагаются неравными.

Имя операции: 

not_equal

@Выраж1_ob не равно @Выраж2_ob

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))

Комментарий: 

Выражения полагаются неравными.

Имя операции: 

not_equal

@A - подобласть области @B

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))

Комментарий: 

Область A делается подобластью в B.

Имя операции: 

make_subobject

@Область1 < @Область2

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

область, область
var(ex("ob",[])), var(ex("ob",[]))

Комментарий: 

Область1 делается подобластью Области2.

Имя операции: 

make_subobject

Введем шаблон "@текст_шаблона"

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

new , new , new , new , new , new , new

Комментарий: 

Шаблон для определения нового шаблона:

Введем шаблон "@текст_шаблона"
с переменными:
"@список_переменных"

Имя операции: 

new_in_template

RSS-материал