deactive CopyElement in CommonHomalgTableForMAGMATools

From: Mohamed Barakat <barakat@mathematik.uni-kl.de>
Subject: Coercion
Date: 2. August 2013 10:12:49 MESZ
To: Claus Fieker <fieker@mathematik.uni-kl.de>
Cc: Markus Kirschmer <mkirschmer@yahoo.com>
Bcc: Mohamed Barakat <barakat@mathematik.uni-kl.de>

Lieber Claus,

das Coercion in MAGMA scheint trotz gegenteiliger Behauptung im Handbuch nicht zu funktionieren. Kennt Ihr das Problem?

Liebe Grüße,

Mohamed

Begin forwarded message:

From: Markus Kirschmer <mkirschmer@yahoo.com>
Subject: Re: Coercion
Date: 2. August 2013 09:34:58 MESZ
To: Mohamed Barakat <barakat@mathematik.uni-kl.de>
Reply-To: Markus Kirschmer <mkirschmer@yahoo.com>

Hallo Mohamed,

auch in der aktuellen Ausgabe des Handbuch wird behauptet, dass das geht, siehe
http://magma.maths.usyd.edu.au/magma/handbook/text/147#994

Ob das aber jemals so funktioniert hat, bezweifle ich (Version 2.8  tut's auch nicht).

Ich wuerde es melden, vielleicht aendern sie dann wenigstens die Dokumentation.

In Deinem Beispiel kannst Du
Evaluate(x, [P.1]);
machen um x \in R an x \in P auszuwerten.

Gruss
Markus

Begin forwarded message:

From: Mohamed Barakat <barakat@mathematik.uni-kl.de>
Subject: Coercion
Date: 2. August 2013 00:15:21 MESZ
To: Markus Kirschmer <mkirschmer@yahoo.com>
Bcc: Mohamed Barakat <barakat@mathematik.uni-kl.de>

Lieber Markus,

was ist daran falsch:

---
Magma V2.19-6     Fri Aug  2 2013 00:12:53 on emil     [Seed = 2654278298]
Type ? for help.  Type <Ctrl>-D to quit.
R<x> := PolynomialRing( Rationals(), 1 );
P<x,y> := PolynomialRing( Rationals(), 2 );
_<x>:=R;
P!x;

P!x;
   ^
Runtime error in '!': LHS rank (2) does not equal RHS rank (1)
R!x;
x
P!(R!x);

P!(R!x);
   ^
Runtime error in '!': LHS rank (2) does not equal RHS rank (1)

---

Meiner Meinung nach widerspricht dies der Dokumentation (http://www.math.uiuc.edu/Software/magma/text278.html#2005).

Liebe Grüße,

Mohamed