1#############################################################################
2##
3#W  operations.gd           Manuel Delgado <mdelgado@fc.up.pt>
4#W                          Pedro A. Garcia-Sanchez <pedro@ugr.es>
5#W                          Jose Morais <josejoao@fc.up.pt>
6##
7##
8#Y  Copyright 2005 by Manuel Delgado,
9#Y  Pedro Garcia-Sanchez and Jose Joao Morais
10#Y  We adopt the copyright regulations of GAP as detailed in the
11#Y  copyright notice in the GAP manual.
12##
13#############################################################################
14
15#############################################################################
16##
17#F  QuotientOfNumericalSemigroup(S,p)
18##
19##  Computes S/p, where S is a numerical semigroup
20##  and p a positive integer.
21##
22#############################################################################
23DeclareGlobalFunction( "QuotientOfNumericalSemigroup" );
24
25############################################################
26##
27#F MultipleOfNumericalSemigroup(s,a,b)
28## s is a numerical semigroup; a and b are positive integers
29## Computes a*s \cup [b,\infty)
30##
31############################################################
32DeclareGlobalFunction("MultipleOfNumericalSemigroup");
33
34#################################################################
35##
36#F InductiveNumericalSemigroup(a,b)
37## a and b are lists of positive integers with b[i+1]\ge a[i]b[i]
38## Computes inductively the semigroup
39## S_0=N
40## S_i=a_iS_{i-1}\cup \{a_ib_i,a_ib_i+1,->\}
41## and outputs S_n, with n the length of a and b
42##
43##################################################################
44DeclareGlobalFunction("InductiveNumericalSemigroup");
45