/[dtapublic]/pubs/books/ucbka/trunk/volshare/workmdef.tex
ViewVC logotype

Diff of /pubs/books/ucbka/trunk/volshare/workmdef.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 139 by dashley, Thu Oct 6 23:27:41 2016 UTC revision 140 by dashley, Mon Jul 3 01:59:16 2017 UTC
# Line 1  Line 1 
1  % $Header: /home/dashley/cvsrep/e3ft_gpl01/e3ft_gpl01/dtaipubs/esrgubka/volshare/workmdef.tex,v 1.4 2002/08/01 01:31:24 dtashley Exp $  % $Header$
2  %  %
3  %%Sets of real numbers.  %%Sets of real numbers.
4  \newcommand{\vworkrealset}{{\mathbb{R}}}  \newcommand{\vworkrealset}{{\mathbb{R}}}
5  \newcommand{\vworkrealsetnonneg}{{\mathbb{R}^+}}  \newcommand{\vworkrealsetnonneg}{{\mathbb{R}^+}}
6  %  %
7  %%Sets of integers.  %%Sets of integers.
8  \newcommand{\vworkintset}{{\mathbb{Z}}}  \newcommand{\vworkintset}{{\mathbb{Z}}}
9  \newcommand{\vworkintsetnonneg}{{\mathbb{Z}^+}}  \newcommand{\vworkintsetnonneg}{{\mathbb{Z}^+}}
10  \newcommand{\vworkintsetpos}{{\mathbb{N}}}  \newcommand{\vworkintsetpos}{{\mathbb{N}}}
11  %  %
12  %%Sets of rational numbers.  %%Sets of rational numbers.
13  \newcommand{\vworkratset}{{\mathbb{Q}}}  \newcommand{\vworkratset}{{\mathbb{Q}}}
14  \newcommand{\vworkratsetnonneg}{{\mathbb{Q}^+}}  \newcommand{\vworkratsetnonneg}{{\mathbb{Q}^+}}
15  %  %
16  %%Sets of irrational numbers.  %%Sets of irrational numbers.
17  \newcommand{\vworkirratset}{{\mathbb{error}}}  \newcommand{\vworkirratset}{{\mathbb{error}}}
18  \newcommand{\vworkirratsetnonneg}{{\mathbb{error}^+}}  \newcommand{\vworkirratsetnonneg}{{\mathbb{error}^+}}
19  %  %
20  %%"Divides" and "Not Divides".  Am not able to find quite  %%"Divides" and "Not Divides".  Am not able to find quite
21  %%the right symbol for "Not Divides" at this time.  %%the right symbol for "Not Divides" at this time.
22  \newcommand{\vworkdivides}{\mid}  \newcommand{\vworkdivides}{\mid}
23  \newcommand{\vworknotdivides}{\hspace{-0.125em}\not\hspace{0.245em}\mid\hspace{0.135em}}  \newcommand{\vworknotdivides}{\hspace{-0.125em}\not\hspace{0.245em}\mid\hspace{0.135em}}
24  %%  %%
25  %%The implication operator, which may change throughout the work.  Both a horizontal  %%The implication operator, which may change throughout the work.  Both a horizontal
26  %%and vertical form are defined.  %%and vertical form are defined.
27  \newcommand{\vworkhimp}{\to}  \newcommand{\vworkhimp}{\to}
28  \newcommand{\vworkvimp}{\downarrow}  \newcommand{\vworkvimp}{\downarrow}
29  %%  %%
30  %%The symbol for logical equivalence.  There are three forms defined, the standard,  %%The symbol for logical equivalence.  There are three forms defined, the standard,
31  %%the long, and the short, which may be identical.  %%the long, and the short, which may be identical.
32  \newcommand{\vworkequiv}{\leftrightarrow}  \newcommand{\vworkequiv}{\leftrightarrow}
33  \newcommand{\vworkshortequiv}{\leftrightarrow}  \newcommand{\vworkshortequiv}{\leftrightarrow}
34  \newcommand{\vworklongequiv}{\longleftrightarrow}  \newcommand{\vworklongequiv}{\longleftrightarrow}
35  \newcommand{\vworkvertequiv}{\updownarrow}  \newcommand{\vworkvertequiv}{\updownarrow}
36    
37  %  %
38  % $Log: workmdef.tex,v $  % $Log: workmdef.tex,v $
39  % Revision 1.4  2002/08/01 01:31:24  dtashley  % Revision 1.4  2002/08/01 01:31:24  dtashley
40  % Safety checkin.  Having difficulty completing an alternate version of  % Safety checkin.  Having difficulty completing an alternate version of
41  % Knuth's proof about the accuracy of quotient estimates based on first  % Knuth's proof about the accuracy of quotient estimates based on first
42  % digits of dividend and divisor.  % digits of dividend and divisor.
43  %  %
44  % Revision 1.3  2002/07/29 16:30:09  dtashley  % Revision 1.3  2002/07/29 16:30:09  dtashley
45  % Safety checkin before moving work back to WSU server Kalman.  % Safety checkin before moving work back to WSU server Kalman.
46  %  %
47  % Revision 1.2  2001/07/12 02:01:46  dtashley  % Revision 1.2  2001/07/12 02:01:46  dtashley
48  % Conversion out of binary mode for use with CVS.  % Conversion out of binary mode for use with CVS.
49  %  %
50  % $History: workmdef.tex $  % $History: workmdef.tex $
51  %  %
52  % *****************  Version 4  *****************  % *****************  Version 4  *****************
53  % User: Dashley1     Date: 1/31/01    Time: 4:20p  % User: Dashley1     Date: 1/31/01    Time: 4:20p
54  % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics  % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
55  % Edits.  % Edits.
56  %  %
57  % *****************  Version 3  *****************  % *****************  Version 3  *****************
58  % User: Dashley1     Date: 8/08/00    Time: 10:53a  % User: Dashley1     Date: 8/08/00    Time: 10:53a
59  % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics  % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
60  % Correction of DIVIDES and NOT DIVIDES symbols.  % Correction of DIVIDES and NOT DIVIDES symbols.
61  %  %
62  % *****************  Version 2  *****************  % *****************  Version 2  *****************
63  % User: David T. Ashley Date: 8/06/00    Time: 8:52a  % User: David T. Ashley Date: 8/06/00    Time: 8:52a
64  % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics  % Updated in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
65  % Work on Prime Number and Farey Series chapters.  % Work on Prime Number and Farey Series chapters.
66  %  %
67  % *****************  Version 1  *****************  % *****************  Version 1  *****************
68  % User: Dashley1     Date: 6/15/00    Time: 7:00p  % User: Dashley1     Date: 6/15/00    Time: 7:00p
69  % Created in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics  % Created in $/uC Software Multi-Volume Book (A)/Shared, Volume Sections, Styles, And Graphics
70  % Initial check-in.  % Initial check-in.
71  %  %
72  % End of WORKMDEF.TEX  % End of WORKMDEF.TEX
73    

Legend:
Removed from v.139  
changed lines
  Added in v.140

dashley@gmail.com
ViewVC Help
Powered by ViewVC 1.1.25