Команды

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

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

команда
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

@Область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

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

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

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

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

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

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

Создается новый класс A, как подкласс класса B.

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

make_subobject

RSS-материал