Opened 10 years ago

Closed 10 years ago

#465 closed bug (fixed)

Description of ordering rp

Reported by: gorzel Owned by: somebody
Priority: minor Milestone: 3-1-6 and higher
Component: doc Version: 3-1-5
Keywords: Cc:

Description

In

3.3.3 Term orderings

​http://www.singular.uni-kl.de/Manual/latest/sing_31.htm#SEC43

the ordering 'rp' is missing. It is only shown in

B.2.3 Global orderings

​http://www.singular.uni-kl.de/Manual/latest/sing_802.htm#SEC854

Change History (1)

comment:1 Changed 10 years ago by hannes

Resolution: → fixed
Status: new → closed

description of rp added

Note: See TracTickets for help on using tickets.