|  |  B.2.3 Global orderings 
For all these orderings, we have Loc ![$K[x]$](sing_512.png) = ![$K[x]$](sing_512.png) 
 
lp:
lexicographical ordering:
  .rp:
reverse lexicographical ordering:
 dp:
degree reverse lexicographical ordering:
let
  then  or 
  and Dp:
degree lexicographical ordering:
let
  then  or 
  and wp:
weighted reverse lexicographical ordering:
let
  be positive integers. Then  is defined as dpbut withWp:
weighted lexicographical ordering:
let
  be positive integers. Then  is defined as Dpbut with |