Latest build deployed.

.mapping.json

@@ -1 +1 @@
-{"source/main.ptx": ["Discrete-Math-with-SageMath"], "source/frontmatter.ptx": ["frontmatter"], "source/getting-started/ch-getting-started.ptx": ["ch-getting-started"], "source/getting-started/sec-intro-to-sage.ptx": ["about-sage"], "source/getting-started/sec-printing.ptx": ["printing"], "source/getting-started/sec-OOP.ptx": ["OOP"], "source/getting-started/sec-data-types.ptx": ["data-types"], "source/getting-started/sec-iteration.ptx": ["iteration"], "source/getting-started/sec-debugging.ptx": ["debugging"], "source/getting-started/sec-documentation.ptx": ["documentation"], "source/getting-started/sec-sage-browser.ptx": ["sage-browser"], "source/set-theory/ch-set-theory.ptx": ["ch-set-theory"], "source/set-theory/sec-creating-sets.ptx": ["creating-sets"], "source/set-theory/sec-cardinality.ptx": ["cardinality"], "source/set-theory/sec-operation-on-sets.ptx": ["sec-operation-on-sets"], "source/combinatorics/ch-combinatorics.ptx": ["ch-combinatorics"], "source/combinatorics/sec-combinatorics.ptx": ["sec-combinatorics"], "source/logic/ch-logic.ptx": ["ch-logic"], "source/logic/sec-logical-operation.ptx": ["sec-logical-operation"], "source/logic/sec-truth-table.ptx": ["sec-truth-table"], "source/logic/sec-tautology.ptx": ["sec-tautology"], "source/relations/ch-relations.ptx": ["ch-relations"], "source/relations/sec-intro-relations.ptx": ["intro-relations"], "source/relations/sec-relations-on-a-set.ptx": ["relations-on-a-set"], "source/relations/sec-digraphs.ptx": ["digraphs"], "source/relations/sec-equivalence.ptx": ["equivalence"], "source/relations/sec-partial-order.ptx": ["partial-order"], "source/functions/ch-functions.ptx": ["ch-functions"], "source/functions/sec-functions.ptx": ["sec-functions"], "source/functions/sec-recursion.ptx": ["sec-recursion"], "source/backmatter.ptx": ["backmatter"]}
+{"source/main.ptx": ["Discrete-Math-with-SageMath"], "source/frontmatter.ptx": ["frontmatter"], "source/getting-started/ch-getting-started.ptx": ["ch-getting-started"], "source/getting-started/sec-intro-to-sage.ptx": ["about-sage"], "source/getting-started/sec-printing.ptx": ["printing"], "source/getting-started/sec-OOP.ptx": ["OOP"], "source/getting-started/sec-data-types.ptx": ["data-types"], "source/getting-started/sec-iteration.ptx": ["iteration"], "source/getting-started/sec-debugging.ptx": ["debugging"], "source/getting-started/sec-documentation.ptx": ["documentation"], "source/getting-started/sec-sage-browser.ptx": ["sage-browser"], "source/set-theory/ch-set-theory.ptx": ["ch-set-theory"], "source/set-theory/sec-creating-sets.ptx": ["creating-sets"], "source/set-theory/sec-cardinality.ptx": ["cardinality"], "source/set-theory/sec-operation-on-sets.ptx": ["sec-operation-on-sets"], "source/combinatorics/ch-combinatorics.ptx": ["ch-combinatorics"], "source/combinatorics/sec-combinatorics.ptx": ["sec-combinatorics"], "source/logic/ch-logic.ptx": ["ch-logic"], "source/logic/sec-logical-operation.ptx": ["sec-logical-operation"], "source/logic/sec-truth-table.ptx": ["sec-truth-table"], "source/logic/sec-tautology.ptx": ["sec-tautology"], "source/relations/ch-relations.ptx": ["ch-relations"], "source/relations/sec-intro-relations.ptx": ["intro-relations"], "source/relations/sec-relations-on-a-set.ptx": ["relations-on-a-set"], "source/relations/sec-digraphs.ptx": ["digraphs"], "source/relations/sec-properties.ptx": ["properties"], "source/relations/sec-equivalence.ptx": ["equivalence"], "source/relations/sec-partial-order.ptx": ["partial-order"], "source/functions/ch-functions.ptx": ["ch-functions"], "source/functions/sec-functions.ptx": ["sec-functions"], "source/functions/sec-recursion.ptx": ["sec-recursion"], "source/backmatter.ptx": ["backmatter"]}

Discrete-Math-with-SageMath.html

@@ -200,7 +200,7 @@ <h2 class="search-results-heading">Search Results: </h2>
 <ul class="structural toc-item-list">
 <li class="toc-item toc-section">
 <div class="toc-title-box"><a href="sec-logical-operation.html" class="internal"><span class="codenumber">4.1</span> <span class="title">Logical Operators</span></a></div>
-<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-logical-operation.html#sec-logical-operation-4" class="internal"><span class="codenumber">4.1.1</span> <span class="title">Boolean Formula</span></a></div></li></ul>
+<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-logical-operation.html#sec-logical-operation-3" class="internal"><span class="codenumber">4.1.1</span> <span class="title">Boolean Formula</span></a></div></li></ul>
 </li>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="sec-truth-table.html" class="internal"><span class="codenumber">4.2</span> <span class="title">Truth Tables</span></a></div></li>
 <li class="toc-item toc-section">
@@ -219,16 +219,25 @@ <h2 class="search-results-heading">Search Results: </h2>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="intro-relations.html" class="internal"><span class="codenumber">5.1</span> <span class="title">Introduction to Relations</span></a></div></li>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="relations-on-a-set.html" class="internal"><span class="codenumber">5.2</span> <span class="title">Relations on a set</span></a></div></li>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="digraphs.html" class="internal"><span class="codenumber">5.3</span> <span class="title">Digraphs</span></a></div></li>
-<li class="toc-item toc-section"><div class="toc-title-box"><a href="equivalence.html" class="internal"><span class="codenumber">5.4</span> <span class="title">Equivalence</span></a></div></li>
-<li class="toc-item toc-section"><div class="toc-title-box"><a href="partial-order.html" class="internal"><span class="codenumber">5.5</span> <span class="title">Partial Order</span></a></div></li>
+<li class="toc-item toc-section">
+<div class="toc-title-box"><a href="properties.html" class="internal"><span class="codenumber">5.4</span> <span class="title">Properties</span></a></div>
+<ul class="structural toc-item-list">
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-reflexive" class="internal"><span class="codenumber">5.4.1</span> <span class="title">Reflexive</span></a></div></li>
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-symmetric" class="internal"><span class="codenumber">5.4.2</span> <span class="title">Symmetric</span></a></div></li>
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-anti-symmetric" class="internal"><span class="codenumber">5.4.3</span> <span class="title">Antisymmetric</span></a></div></li>
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-transitive" class="internal"><span class="codenumber">5.4.4</span> <span class="title">Transitive</span></a></div></li>
+</ul>
+</li>
+<li class="toc-item toc-section"><div class="toc-title-box"><a href="equivalence.html" class="internal"><span class="codenumber">5.5</span> <span class="title">Equivalence</span></a></div></li>
+<li class="toc-item toc-section"><div class="toc-title-box"><a href="partial-order.html" class="internal"><span class="codenumber">5.6</span> <span class="title">Partial Order</span></a></div></li>
 </ul>
 </li>
 <li class="toc-item toc-chapter">
 <div class="toc-title-box"><a href="ch-functions.html" class="internal"><span class="codenumber">6</span> <span class="title">Functions</span></a></div>
 <ul class="structural toc-item-list">
 <li class="toc-item toc-section">
 <div class="toc-title-box"><a href="sec-functions.html" class="internal"><span class="codenumber">6.1</span> <span class="title">Functions</span></a></div>
-<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-functions.html#sec-functions-9" class="internal"><span class="codenumber">6.1.1</span> <span class="title">Graphical Representations</span></a></div></li></ul>
+<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-functions.html#sec-functions-3" class="internal"><span class="codenumber">6.1.1</span> <span class="title">Graphical Representations</span></a></div></li></ul>
 </li>
 <li class="toc-item toc-section">
 <div class="toc-title-box"><a href="sec-recursion.html" class="internal"><span class="codenumber">6.2</span> <span class="title">Recursion</span></a></div>

OOP.html

@@ -200,7 +200,7 @@ <h2 class="search-results-heading">Search Results: </h2>
 <ul class="structural toc-item-list">
 <li class="toc-item toc-section">
 <div class="toc-title-box"><a href="sec-logical-operation.html" class="internal"><span class="codenumber">4.1</span> <span class="title">Logical Operators</span></a></div>
-<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-logical-operation.html#sec-logical-operation-4" class="internal"><span class="codenumber">4.1.1</span> <span class="title">Boolean Formula</span></a></div></li></ul>
+<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-logical-operation.html#sec-logical-operation-3" class="internal"><span class="codenumber">4.1.1</span> <span class="title">Boolean Formula</span></a></div></li></ul>
 </li>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="sec-truth-table.html" class="internal"><span class="codenumber">4.2</span> <span class="title">Truth Tables</span></a></div></li>
 <li class="toc-item toc-section">
@@ -219,16 +219,25 @@ <h2 class="search-results-heading">Search Results: </h2>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="intro-relations.html" class="internal"><span class="codenumber">5.1</span> <span class="title">Introduction to Relations</span></a></div></li>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="relations-on-a-set.html" class="internal"><span class="codenumber">5.2</span> <span class="title">Relations on a set</span></a></div></li>
 <li class="toc-item toc-section"><div class="toc-title-box"><a href="digraphs.html" class="internal"><span class="codenumber">5.3</span> <span class="title">Digraphs</span></a></div></li>
-<li class="toc-item toc-section"><div class="toc-title-box"><a href="equivalence.html" class="internal"><span class="codenumber">5.4</span> <span class="title">Equivalence</span></a></div></li>
-<li class="toc-item toc-section"><div class="toc-title-box"><a href="partial-order.html" class="internal"><span class="codenumber">5.5</span> <span class="title">Partial Order</span></a></div></li>
+<li class="toc-item toc-section">
+<div class="toc-title-box"><a href="properties.html" class="internal"><span class="codenumber">5.4</span> <span class="title">Properties</span></a></div>
+<ul class="structural toc-item-list">
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-reflexive" class="internal"><span class="codenumber">5.4.1</span> <span class="title">Reflexive</span></a></div></li>
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-symmetric" class="internal"><span class="codenumber">5.4.2</span> <span class="title">Symmetric</span></a></div></li>
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-anti-symmetric" class="internal"><span class="codenumber">5.4.3</span> <span class="title">Antisymmetric</span></a></div></li>
+<li class="toc-item toc-subsection"><div class="toc-title-box"><a href="properties.html#subsec-transitive" class="internal"><span class="codenumber">5.4.4</span> <span class="title">Transitive</span></a></div></li>
+</ul>
+</li>
+<li class="toc-item toc-section"><div class="toc-title-box"><a href="equivalence.html" class="internal"><span class="codenumber">5.5</span> <span class="title">Equivalence</span></a></div></li>
+<li class="toc-item toc-section"><div class="toc-title-box"><a href="partial-order.html" class="internal"><span class="codenumber">5.6</span> <span class="title">Partial Order</span></a></div></li>
 </ul>
 </li>
 <li class="toc-item toc-chapter">
 <div class="toc-title-box"><a href="ch-functions.html" class="internal"><span class="codenumber">6</span> <span class="title">Functions</span></a></div>
 <ul class="structural toc-item-list">
 <li class="toc-item toc-section">
 <div class="toc-title-box"><a href="sec-functions.html" class="internal"><span class="codenumber">6.1</span> <span class="title">Functions</span></a></div>
-<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-functions.html#sec-functions-9" class="internal"><span class="codenumber">6.1.1</span> <span class="title">Graphical Representations</span></a></div></li></ul>
+<ul class="structural toc-item-list"><li class="toc-item toc-subsection"><div class="toc-title-box"><a href="sec-functions.html#sec-functions-3" class="internal"><span class="codenumber">6.1.1</span> <span class="title">Graphical Representations</span></a></div></li></ul>
 </li>
 <li class="toc-item toc-section">
 <div class="toc-title-box"><a href="sec-recursion.html" class="internal"><span class="codenumber">6.2</span> <span class="title">Recursion</span></a></div>
@@ -250,17 +259,14 @@ <h2 class="search-results-heading">Search Results: </h2>
 <div class="para" id="OOP-4">This might not mean too much right now and it will be more clear as we explore what is known as <dfn class="terminology">object-oriented</dfn> programming. Just know that SageMath has different ways of representing and working with data. We can create an object by typing something into our Sage Worksheet or the cells on this page.</div>
 <div class="para" id="OOP-5">
 <dfn class="terminology">Dot notation</dfn> is a feature in object-oriented programming. Here is an example of dot notation. There are many more examples of this in Sage. Dot notation is used to access attributes and methods of an object. We can also pass in arguments to this method to specify the number of digits we want to round to.</div>
-<pre id="OOP-6" class="ptx-sagecell sagecell-sage"><script type="text/x-sage"># Declare a variable named n and assign it the value 2
-n = 2
-
-# Calculate the square root of n
-r = n.sqrt()
-
-# Evaluate to 10 digits of precision
-d = N(r, digits=10); d # ; is the same as a new line
+<div class="para" id="OOP-6">Lets use Sage’s object oriented syntax to plot a graph and save it to a file.</div>
+<div class="para" id="OOP-7">In terms of object-oriented programming, the <code class="code-inline tex2jax_ignore">Circuit</code> method is a method of the <code class="code-inline tex2jax_ignore">digraphs</code> class. We can use the <code class="code-inline tex2jax_ignore">plot</code> method to plot the graph.</div>
+<pre id="OOP-8" class="ptx-sagecell sagecell-sage"><script type="text/x-sage"># we will learn more about digraphs later in this text
+g = digraphs.Circuit(10)
+plot(g)
 </script></pre>
-<div class="para" id="OOP-7">Sage supports different ways of accomplishing the same task.</div>
-<pre id="OOP-8" class="ptx-sagecell sagecell-sage"><script type="text/x-sage">N(sqrt(2), digits=10)
+<div class="para" id="OOP-9">You can save the plot by using the <code class="code-inline tex2jax_ignore">save</code> method.</div>
+<pre id="OOP-10" class="ptx-sagecell sagecell-sage"><script type="text/x-sage">plot(g).save('filename.pdf')
 </script></pre></section></div>
 <div class="ptx-content-footer">
 <a class="previous-button button" href="printing.html" title="Previous"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cb;</span><span class="name">Prev</span></a><a class="top-button button" href="#" title="Top"><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5ce;</span><span class="name">Top</span></a><a class="next-button button" href="data-types.html" title="Next"><span class="name">Next</span><span class="icon material-symbols-outlined" aria-hidden="true">&#xe5cc;</span></a>