TU-Berlin | → | Inst. f. Mathematik | → | Algebra und Zahlentheorie | → | KASH | → | Documentation | → | Reference Manual

| KASH3 Reference Manual

Introduction | Reference Manual | Index

search

### Function

Map ( any domain, any codomain, func phi, func psi ) -> map()

### Description

<shortdoc> Create a map with domain 'domain' and codomain 'codomain' from the function 'phi'. The function 'psi' is used for the computation of preimages. </shortdoc>

### Examples

x_add_with_inv := function(a) # this function returns a map that adds 'a' local phi, psi; phi := function(b) return b+a; end; psi := function(c) return c-a; end; return Map(Z,Z,phi,psi); end; x_f := x_add_with_inv(5); x_f(2); Image(3,x_f); Preimage(8,x_f); Preimage(x_f(900),x_f);

### See also

map
Maps
Map ( any, any, func ) -> map()
Domain ( map() ) -> any
Codomain ( map() ) -> any
Image ( any, map() ) -> any
Preimage ( any, map() ) -> any
Composition ( map(), map() ) -> map()

| Built: Mon Nov 14 21:12:39 UTC 2005 on mack