Paper Info
Title
Elementary algebraic specifications of the rational function field
Abstract
The elementary algebraic specifications form a small subset of the range of techniques available for algebraic specifications and are based on equational specifications with hidden functions and sorts and initial algebra semantics. General methods exist to show that all semicomputable and computable algebras can be characterised up to isomorphism by such specifications. Here we consider these specification methods for specific computable rational number arithmetics. In particular, we give an elementary equational specification of the 0-totalised rational function field ℚ0(X) with its degree operator as an auxiliary function.
Year
DOI
Venue
2006
10.1007/11780342_5
CiE
Keywords
Field
DocType
specification method,elementary equational specification,algebraic specification,0-totalised rational function field,elementary algebraic specification,computable algebra,specific computable rational number,equational specification,auxiliary function,hidden function,computer algebra,rational function,rational number
Algebraic specification,Initial algebra,Discrete mathematics,Rational number,Function field of an algebraic variety,Function field,Algebraic number,Algebra,Auxiliary function,Rational function,Mathematics
Conference
Volume
ISSN
ISBN
3988
0302-9743
3-540-35466-2
Citations 
PageRank 
References 
3
0.62
17
Authors
1
Name
Order
Citations
PageRank
Jan A. Bergstra11445140.42