Как я могу преобразовать Intmod в Int в пари / GP?

Question

Я выполняю теорему об остатках китайского языка с пари /GP, и в результате intmod,

Пример:

x = Mod(25, 33) 

x является выводом китайской теоремы об остатках.

Но я хочу сравнить 24 и x,

Как я могу извлечь "25" из x чтобы иметь возможность сравнить его с обычным int ?

Answer 1

1) уже можно сравнивать x и 24: они разные

? х == 24

% 1 = 0

2) извлечь "25" из xиспользовать lift(x)