CoCalc Public Fileswww / tables / magma_src / ModFrm / bases.mOpen with one click!
Author: William A. Stein
1
freeze;
2
3
/****-*-magma-* EXPORT DATE: 2004-03-08 ************************************
4
5
MODFORM: Modular Forms in MAGMA
6
7
William A. Stein
8
9
FILE: bases.m
10
11
$Header: /home/was/magma/packages/modform/code/RCS/bases.m,v 1.2 2001/05/30 18:53:43 was Exp $
12
13
$Log: bases.m,v $
14
Revision 1.2 2001/05/30 18:53:43 was
15
Done.
16
17
Revision 1.1 2001/05/16 03:50:44 was
18
Initial revision
19
20
21
***************************************************************************/
22
23
intrinsic Basis(M::ModFrm) -> SeqEnum
24
{The canonical basis of M.}
25
if not assigned M`basis then
26
V := RSpace(BaseRing(M),Dimension(M));
27
M`basis := [M!V.i : i in [1..Dimension(M)]];
28
end if;
29
30
if assigned M`basis then
31
return M`basis;
32
end if;
33
end intrinsic;
34
35
36
intrinsic '.'(M::ModFrm, i::RngIntElt) -> ModFrmElt
37
{The i-th basis vector of M.}
38
requirege i,1;
39
require i le Dimension(M) :
40
"Argument 2 can be at most the dimension of argument 1.";
41
return Basis(M)[i];
42
end intrinsic;
43
44