diff options
author | dos-reis <gdr@axiomatics.org> | 2009-06-11 23:00:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-06-11 23:00:40 +0000 |
commit | 9e07dcd91c45bf8b22d932321f5c97e931ffe8ac (patch) | |
tree | 6d2174e90e5779b1b3ab4ae7df3ae6603b66c6c2 /src/algebra/padiclib.spad.pamphlet | |
parent | 7bd82b57975bbc1ff5b87fed0739815c620ecdcc (diff) | |
download | open-axiom-9e07dcd91c45bf8b22d932321f5c97e931ffe8ac.tar.gz |
* algebra/: Don't quote '!' at end of names.
Diffstat (limited to 'src/algebra/padiclib.spad.pamphlet')
-rw-r--r-- | src/algebra/padiclib.spad.pamphlet | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/padiclib.spad.pamphlet b/src/algebra/padiclib.spad.pamphlet index 460bdfc6..b32e096d 100644 --- a/src/algebra/padiclib.spad.pamphlet +++ b/src/algebra/padiclib.spad.pamphlet @@ -88,7 +88,7 @@ IntegralBasisPolynomialTools(K,R,UP,L): Exports == Implementation where for i in 1..m repeat for j in 1..n repeat (poly := mapUnivariateIfCan(f,qelt(mat,i,j))) case "failed" => return "failed" - qsetelt_!(matOut,i,j,poly :: R) + qsetelt!(matOut,i,j,poly :: R) matOut mapBivariate(f,poly) == @@ -157,7 +157,7 @@ ChineseRemainderToolsForIntegralBases(K,R,UP): Exports == Implementation where m := nrows mat; n := ncols mat ans : Matrix R := new(m,n,0) for i in 1..m repeat for j in 1..n repeat - qsetelt_!(ans,i,j,map(#1 ** q,qelt(mat,i,j))) + qsetelt!(ans,i,j,map(#1 ** q,qelt(mat,i,j))) ans listConjugateBases(bas,q,n) == @@ -169,7 +169,7 @@ ChineseRemainderToolsForIntegralBases(K,R,UP): Exports == Implementation where bDen := map(#1 ** q,bDen) newBasis : Result := [b,bDen,bInv] outList := concat(newBasis,outList) - reverse_! outList + reverse! outList factorList(a,q,n,k) == coef : SUP K := monomial(a,0); xx : SUP K := monomial(1,1) @@ -177,7 +177,7 @@ ChineseRemainderToolsForIntegralBases(K,R,UP): Exports == Implementation where for i in 1..(n-1) repeat coef := coef ** q outList := concat((xx - coef)**k,outList) - reverse_! outList + reverse! outList basisInfoToPolys: (Mat,R,R) -> L UP basisInfoToPolys(mat,lcm,den) == @@ -188,7 +188,7 @@ ChineseRemainderToolsForIntegralBases(K,R,UP): Exports == Implementation where for j in 0..n1 repeat pp := pp + monomial((lcm quo den) * qelt(mat,i,j+1),j) outList := concat(pp,outList) - reverse_! outList + reverse! outList basesToPolyLists: (L Result,R) -> L L UP basesToPolyLists(basisList,lcm) == @@ -270,7 +270,7 @@ ChineseRemainderToolsForIntegralBases(K,R,UP): Exports == Implementation where for i in 1.. for pList in factorBasisPolyLists repeat polyList := mapChineseToList(pList,factors,i,denLCM) basisPolyLists := concat(polyList,basisPolyLists) - basisPolys := concat reverse_! basisPolyLists + basisPolys := concat reverse! basisPolyLists mat := squareTop rowEchelon(polyListToMatrix(basisPolys,n),denLCM) matInv := UpTriBddDenomInv(mat,denLCM) [mat,denLCM,matInv] @@ -476,7 +476,7 @@ PAdicWildFunctionFieldIntegralBasis(K,R,UP,F): Exports == Implementation where compLocalBasisOverExt(qq,prime,pp,k) compLocalBasis(qq,prime) factorBases := concat(base,factorBases) - factorBases := reverse_! factorBases + factorBases := reverse! factorBases ib := chineseRemainder(henselFactors,factorBases,rank()$F)$IBACHIN(K,R,UP) index := diagonalProduct(ib.basisInv) [ib.basis,ib.basisDen,ib.basisInv,disc quo (index * index)] |