запись в грамматике r6rs для комплексных чисел

Question

В r6rs грамматике для чисел существует следующее правило:

<complex r>  => ....  | <real r> @ <real r>

Если я оцениваю в mit-scheme "число" 2@2, я получаю это странное комплексное число.

1 ]=> 2@2

;Value: -.8322936730942848+1.8185948536513634i

Я нигде не нашел документированных, что означает это правило, какие числа можно генерировать с помощью этого синтаксиса. Где я могу найти какое-то определение этого? Откуда эта запись?

РЕДАКТИРОВАТЬ:

Я нашел эту ссылку . Обозначения датируются 1985 годом.

Answer 1

Это полярная запись для комплексных чисел @ . Я не нашел документации для него , кроме синтаксиса, но я предполагаю, что в радианах.

(величина 2@2) => 2.
(угол 2@2) => 2.