<?xml version="1.0" encoding="utf-8" ?> <!-- for emacs: -*- coding: utf-8 -*- -->
<!-- Apache may like this line in the file .htaccess: AddCharset utf-8 .html -->
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" >
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head><title>map(Ring,Ring,Matrix) -- make a ring map</title>
<link rel="stylesheet" type="text/css" href="../../../../Macaulay2/Style/doc.css"/>
</head>
<body>
<table class="buttons">
<tr>
<td><div><a href="_map_lp__Chain__Complex_cm__Chain__Complex_cm__Chain__Complex__Map_rp.html">next</a> | <a href="_map_lp__Ring_cm__Ring_cm__List_rp.html">previous</a> | <a href="_map_lp__Chain__Complex_cm__Chain__Complex_cm__Chain__Complex__Map_rp.html">forward</a> | <a href="_map_lp__Ring_cm__Ring_cm__List_rp.html">backward</a> | <a href="_map.html">up</a> | <a href="index.html">top</a> | <a href="master.html">index</a> | <a href="toc.html">toc</a> | <a href="http://www.math.uiuc.edu/Macaulay2/">Macaulay2 web site</a></div>
</td>
</tr>
</table>
<div><a href="_map.html" title="make a map">map</a> > <a href="_map_lp__Ring_cm__Ring_cm__Matrix_rp.html" title="make a ring map">map(Ring,Ring,Matrix)</a></div>
<hr/>
<div><h1>map(Ring,Ring,Matrix) -- make a ring map</h1>
<div class="single"><h2>Synopsis</h2>
<ul><li><div class="list"><dl class="element"><dt class="heading">Usage: </dt><dd class="value"><div><tt>map(R,S,m)</tt></div>
</dd></dl>
</div>
</li>
<li><span>Function: <a href="_map.html" title="make a map">map</a></span></li>
<li><div class="single">Inputs:<ul><li><span><tt>R</tt>, <span>a <a href="___Ring.html">ring</a></span>, the target ring</span></li>
<li><span><tt>S</tt>, <span>a <a href="___Ring.html">ring</a></span>, the source ring</span></li>
<li><span><tt>m</tt>, <span>a <a href="___Matrix.html">matrix</a></span>, a <tt>1</tt> by <tt>n</tt> matrix over <tt>R</tt>, where <tt>n</tt> is the number of variables in the polynomial ring <tt>S</tt>, or a matrix over the common coefficient ring of the two rings. If a ring map is used here, (just) its matrix will be used instead.</span></li>
</ul>
</div>
</li>
<li><div class="single">Outputs:<ul><li><span><span>a <a href="___Ring__Map.html">ring map</a></span>, the ring homomorphism from <tt>S</tt> to <tt>R</tt> which, in case m is a matrix over R, sends the i-th variable of <tt>S</tt> to the i-th entry in <tt>m</tt>, or, in case <tt>m</tt> is a matrix over the common coefficient ring, is the linear change of coordinates corresponding to <tt>m</tt></span></li>
</ul>
</div>
</li>
<li><div class="single"><a href="_using_spfunctions_spwith_spoptional_spinputs.html">Optional inputs</a>:<ul><li><span><tt>DegreeMap => </tt><span><span>a <a href="___Function.html">function</a></span>, <span>default value null</span>, the degree map: a (linear) function from the multidegrees of <tt>S</tt> to the multidegrees of <tt>R</tt>, to be used in determining homogeneity and in determining degrees in tensor products. If the two rings have the same degree length, then the default degree map is the identity function.</span></span></li>
<li><span><tt>DegreeLift => </tt><span><span>a <a href="___Function.html">function</a></span>, <span>default value null</span>, the degree lift function: a (partial) inverse of the degree map, giving an error when lifting is not possible. If the degree map is the identity, then by default the identity map will be provided. If the degree length of <tt>R</tt> is 0, then by default a suitable degree lift function will be provided.</span></span></li>
<li><span><a href="_map_lp..._cm_sp__Degree_sp_eq_gt_sp..._rp.html">Degree => ...</a>, -- set the degree of a map</span></li>
</ul>
</div>
</li>
</ul>
</div>
<div class="single"><h2>Description</h2>
<div><table class="examples"><tr><td><pre>i1 : R = ZZ[x,y];</pre>
</td></tr>
<tr><td><pre>i2 : S = ZZ[a,b,c];</pre>
</td></tr>
<tr><td><pre>i3 : f = map(R,S,matrix {{x^2,x*y,y^2}})
2 2
o3 = map(R,S,{x , x*y, y })
o3 : RingMap R <--- S</pre>
</td></tr>
<tr><td><pre>i4 : f(a+b+c^2)
4 2
o4 = y + x + x*y
o4 : R</pre>
</td></tr>
<tr><td><pre>i5 : g = map(R,S,matrix {{1,2,3},{4,5,6}})
o5 = map(R,S,{x + 4y, 2x + 5y, 3x + 6y})
o5 : RingMap R <--- S</pre>
</td></tr>
<tr><td><pre>i6 : g(a+b)
o6 = 3x + 9y
o6 : R</pre>
</td></tr>
</table>
If the coefficient ring of <tt>S</tt> is itself a polynomial ring, then one may optionally include values to which its variables should be sent: they should appear last in the matrix <tt>m</tt>.<table class="examples"><tr><td><pre>i7 : S = ZZ[a][b,c];</pre>
</td></tr>
<tr><td><pre>i8 : h = map(S,S,matrix {{b,c,2*a}})
o8 = map(S,S,{b, c, 2a})
o8 : RingMap S <--- S</pre>
</td></tr>
<tr><td><pre>i9 : h(a^7 + b^3 + c)
3 7
o9 = b + c + 128a
o9 : S</pre>
</td></tr>
<tr><td><pre>i10 : k = map(S,S,matrix {{c,b}})
o10 = map(S,S,{c, b, a})
o10 : RingMap S <--- S</pre>
</td></tr>
<tr><td><pre>i11 : k(a^7 + b^3 + c)
3 7
o11 = c + b + a
o11 : S</pre>
</td></tr>
</table>
Specifying a degree map is a useful way to preserve homogeneity, which can speed computation.<table class="examples"><tr><td><pre>i12 : R = QQ[x,y,z];</pre>
</td></tr>
<tr><td><pre>i13 : S = QQ[t,u];</pre>
</td></tr>
<tr><td><pre>i14 : f = map(S,R,{t^2,t*u,u^2},DegreeMap => i -> 2*i)
2 2
o14 = map(S,R,{t , t*u, u })
o14 : RingMap S <--- R</pre>
</td></tr>
<tr><td><pre>i15 : isHomogeneous f
o15 = true</pre>
</td></tr>
<tr><td><pre>i16 : M = R^{1,2}
2
o16 = R
o16 : R-module, free, degrees {-1, -2}</pre>
</td></tr>
<tr><td><pre>i17 : f M
2
o17 = S
o17 : S-module, free, degrees {-2, -4}</pre>
</td></tr>
<tr><td><pre>i18 : f ** M
2
o18 = S
o18 : S-module, free, degrees {-2, -4}</pre>
</td></tr>
</table>
</div>
</div>
<div class="single"><h2>See also</h2>
<ul><li><span><a href="_substitution_spand_spmaps_spbetween_springs.html" title="">substitution and maps between rings</a></span></li>
</ul>
</div>
</div>
</body>
</html>
