Revision history [back]

Indeed

sage: R.<x> = PuiseuxSeriesRing(QQ)                                             
sage: x.valuation()                                                             
1
sage: (x**(1/3)).valuation()                                                    
1/3
sage: R.zero().valuation()                                                      
0

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.