From 6197eedc9849fa243cce2f3c3f45c753dfba7849 Mon Sep 17 00:00:00 2001 From: Eric Berberich Date: Tue, 12 May 2009 11:39:14 +0000 Subject: [PATCH] grammar in lex order --- .../AlgebraicKernel_d_2_AlgebraicReal_2.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_AlgebraicReal_2.tex b/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_AlgebraicReal_2.tex index a19831db76d..c726a9a55ba 100644 --- a/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_AlgebraicReal_2.tex +++ b/Algebraic_kernel_d/doc_tex/Algebraic_kernel_d_ref/AlgebraicKernel_d_2_AlgebraicReal_2.tex @@ -6,8 +6,8 @@ A model of this concept represents the roots of a system of two polynomial equations in two variables \ccc{x} and \ccc{y} that are models of concept \ccc{AlgebraicKernel_d::Polynomial_2}. -The model is required to be \ccc{LessThanComparable} with respect to a -lexicographic order. +The model is required to be \ccc{LessThanComparable} with respect to +the lexicographic order according to \ccc{x} and \ccc{y}. \ccRefines \ccc{DefaultConstrctible}\\