=================================================================== RCS file: /home/cvs/OpenXM/src/kan96xx/Kan/usage.sm1,v retrieving revision 1.2 retrieving revision 1.3 diff -u -p -r1.2 -r1.3 --- OpenXM/src/kan96xx/Kan/usage.sm1 2000/01/16 07:55:42 1.2 +++ OpenXM/src/kan96xx/Kan/usage.sm1 2000/06/08 08:35:03 1.3 @@ -1,4 +1,4 @@ -%% $OpenXM$ +%% $OpenXM: OpenXM/src/kan96xx/Kan/usage.sm1,v 1.2 2000/01/16 07:55:42 takayama Exp $ %% usage.sm1 %% [(key word) %% [( ) @@ -278,6 +278,7 @@ def [(obj toVectors vec) (Convert the internal expression of vector into the array <>.) (obj can be [n [g1 ... gm]] where n is the length of the vector.) + $cf. [(toe_) array_of_poly] gbext $ $Example 1: [(x) ring_of_polynomials 0] define_ring $ $ (e_ + 2). toVectors :: $ ( ---> [2 , 1] )