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