Hello community, here is the log from the commit of package gap-modules for openSUSE:Factory checked in at 2018-01-23 13:50:46 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/gap-modules (Old) and /work/SRC/openSUSE:Factory/.gap-modules.new (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "gap-modules" Tue Jan 23 13:50:46 2018 rev:2 rq:559929 version:2017.09.10 Changes: -------- --- /work/SRC/openSUSE:Factory/gap-modules/gap-modules.changes 2017-10-08 20:10:49.195613622 +0200 +++ /work/SRC/openSUSE:Factory/.gap-modules.new/gap-modules.changes 2018-01-23 13:50:50.491634549 +0100 @@ -1,0 +2,6 @@ +Sun Dec 24 17:42:25 UTC 2017 - jeng...@inai.de + +- Update to new upstream release 2017.09.10 + * No changelog available + +------------------------------------------------------------------- Old: ---- Modules-2017.07.17.tar.bz2 New: ---- Modules-2017.09.10.tar.bz2 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ gap-modules.spec ++++++ --- /var/tmp/diff_new_pack.7Fc7fT/_old 2018-01-23 13:50:51.603582604 +0100 +++ /var/tmp/diff_new_pack.7Fc7fT/_new 2018-01-23 13:50:51.607582417 +0100 @@ -1,7 +1,7 @@ # # spec file for package gap-modules # -# Copyright (c) 2016 SUSE LINUX GmbH, Nuernberg, Germany. +# Copyright (c) 2017 SUSE LINUX GmbH, Nuernberg, Germany. # # All modifications and additions to the file contributed by third parties # remain the property of their copyright owners, unless otherwise agreed @@ -17,12 +17,12 @@ Name: gap-modules -Version: 2017.07.17 +Version: 2017.09.10 Release: 0 Summary: GAP: Abelian Finitely Presented Modules over Computable Rings License: GPL-2.0 Group: Productivity/Scientific/Math -URL: http://homalg-project.github.io/homalg_project/Modules/ +Url: http://homalg-project.github.io/homalg_project/Modules/ #Git-Clone: git://github.com/homalg-project/Modules #Git-Web: https://github.com/homalg-project/Modules ++++++ Modules-2017.07.17.tar.bz2 -> Modules-2017.09.10.tar.bz2 ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/PackageInfo.g new/Modules-2017.09.10/PackageInfo.g --- old/Modules-2017.07.17/PackageInfo.g 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/PackageInfo.g 2017-12-19 11:18:48.000000000 +0100 @@ -5,7 +5,7 @@ Subtitle := "A homalg based package for the Abelian category of finitely presented modules over computable rings", Version := Maximum( [ - "2017.07.17", ## Mohamed's version + "2017.09.10", ## Mohamed's version ## this line prevents merge conflicts "2014.07.02", ## Markus' version ## this line prevents merge conflicts diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/VERSION new/Modules-2017.09.10/VERSION --- old/Modules-2017.07.17/VERSION 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/VERSION 2017-12-19 11:18:48.000000000 +0100 @@ -1 +1 @@ -2017.07.17 \ No newline at end of file +2017.09.10 \ No newline at end of file diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap0.html new/Modules-2017.09.10/doc/chap0.html --- old/Modules-2017.07.17/doc/chap0.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap0.html 2017-12-19 11:18:48.000000000 +0100 @@ -28,7 +28,7 @@ <h2>A <strong class="pkg">homalg</strong> based Package for the Abelian Category of Finitely Presented Modules over Computable Rings</h2> -<p>Version 2017.07.17</p> +<p>Version 2017.09.10</p> <p>September 2015</p> @@ -92,10 +92,10 @@ <h3>Contents<a id="contents" name="contents"></a></h3> <div class="ContChap"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X83B9348878B98FCB">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7932D55D786D645A">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> </span> <div class="ContSSBlock"> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7A734C2E8709258F">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X81F4D4C47828A818">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X84913827857A1F7B">1.1-2 <span class="Heading">Rings supported in a sufficient way</span></a> </span> @@ -105,7 +105,7 @@ </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7D7570837C21607A">1.1-5 <span class="Heading">The advantages of the outsourcing concept</span></a> </span> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7C9DE9DF7F37B4EB">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X85C5BCDF797B7954">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X79DFCAF17BD3DDC6">1.1-7 <span class="Heading">The principle of least communication (technical)</span></a> </span> @@ -116,13 +116,13 @@ </span> </div> </div> -<div class="ContChap"><a href="chap2.html#X7BCE61137B4B7575">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> +<div class="ContChap"><a href="chap2.html#X812F1BC77954DFD3">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> </div> <div class="ContChap"><a href="chap3.html#X7EB860EC84DFC71E">3 <span class="Heading">Quick Start</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X863CD6AA80705231">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">ℤ/mℤ</span>?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X8527706586389E29">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">ℤ/mℤ</span>?</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X84B6C7078148720E">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X85872612814D30B4">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7BBB3E988435A713">3.3 <span class="Heading">A typical example</span></a> @@ -420,17 +420,17 @@ </span> </div> </div> -<div class="ContChap"><a href="chapA.html#X78E86EA18602AC04">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> +<div class="ContChap"><a href="chapA.html#X7DD2E4EB846C7E75">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> </div> <div class="ContChap"><a href="chapB.html#X8222352C78A19214">B <span class="Heading">Logic Subpackages</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X7CFB956F82FBF1FA">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X8462717983D4B197">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X7CA14AB186D0A7E0">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X7A553EC57DD2E46E">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> </span> </div> </div> -<div class="ContChap"><a href="chapC.html#X866669D781FBA4A4">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> +<div class="ContChap"><a href="chapC.html#X78684D057C432971">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X87ED7A1883976BE9">C.1 <span class="Heading">Relations and Generators</span></a> </span> </div> @@ -440,7 +440,7 @@ <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7BDE961D858BC60E">C.3 <span class="Heading">The High Level Homological Algorithms</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7EF0F9E47CCE826C">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7E8463067BB2F31E">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> </span> </div> </div> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap0.txt new/Modules-2017.09.10/doc/chap0.txt --- old/Modules-2017.07.17/doc/chap0.txt 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap0.txt 2017-12-19 11:18:48.000000000 +0100 @@ -7,7 +7,7 @@ Modules over Computable Rings[101X - Version 2017.07.17 + Version 2017.09.10 September 2015 diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap0_mj.html new/Modules-2017.09.10/doc/chap0_mj.html --- old/Modules-2017.07.17/doc/chap0_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap0_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Contents</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -31,7 +31,7 @@ <h2>A <strong class="pkg">homalg</strong> based Package for the Abelian Category of Finitely Presented Modules over Computable Rings</h2> -<p>Version 2017.07.17</p> +<p>Version 2017.09.10</p> <p>September 2015</p> @@ -95,10 +95,10 @@ <h3>Contents<a id="contents" name="contents"></a></h3> <div class="ContChap"><a href="chap1_mj.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X83B9348878B98FCB">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7932D55D786D645A">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> </span> <div class="ContSSBlock"> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7A734C2E8709258F">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X81F4D4C47828A818">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X84913827857A1F7B">1.1-2 <span class="Heading">Rings supported in a sufficient way</span></a> </span> @@ -108,7 +108,7 @@ </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7D7570837C21607A">1.1-5 <span class="Heading">The advantages of the outsourcing concept</span></a> </span> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C9DE9DF7F37B4EB">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X85C5BCDF797B7954">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X79DFCAF17BD3DDC6">1.1-7 <span class="Heading">The principle of least communication (technical)</span></a> </span> @@ -119,13 +119,13 @@ </span> </div> </div> -<div class="ContChap"><a href="chap2_mj.html#X7BCE61137B4B7575">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> +<div class="ContChap"><a href="chap2_mj.html#X812F1BC77954DFD3">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> </div> <div class="ContChap"><a href="chap3_mj.html#X7EB860EC84DFC71E">3 <span class="Heading">Quick Start</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X863CD6AA80705231">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">\(ℤ/mℤ\)</span>?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X8527706586389E29">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">\(ℤ/mℤ\)</span>?</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X84B6C7078148720E">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X85872612814D30B4">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7BBB3E988435A713">3.3 <span class="Heading">A typical example</span></a> @@ -423,17 +423,17 @@ </span> </div> </div> -<div class="ContChap"><a href="chapA_mj.html#X78E86EA18602AC04">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> +<div class="ContChap"><a href="chapA_mj.html#X7DD2E4EB846C7E75">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> </div> <div class="ContChap"><a href="chapB_mj.html#X8222352C78A19214">B <span class="Heading">Logic Subpackages</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X7CFB956F82FBF1FA">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X8462717983D4B197">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X7CA14AB186D0A7E0">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X7A553EC57DD2E46E">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> </span> </div> </div> -<div class="ContChap"><a href="chapC_mj.html#X866669D781FBA4A4">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> +<div class="ContChap"><a href="chapC_mj.html#X78684D057C432971">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X87ED7A1883976BE9">C.1 <span class="Heading">Relations and Generators</span></a> </span> </div> @@ -443,7 +443,7 @@ <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X7BDE961D858BC60E">C.3 <span class="Heading">The High Level Homological Algorithms</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X7EF0F9E47CCE826C">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X7E8463067BB2F31E">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> </span> </div> </div> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap1.html new/Modules-2017.09.10/doc/chap1.html --- old/Modules-2017.07.17/doc/chap1.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap1.html 2017-12-19 11:18:48.000000000 +0100 @@ -22,10 +22,10 @@ <p id="mathjaxlink" class="pcenter"><a href="chap1_mj.html">[MathJax on]</a></p> <p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p> <div class="ChapSects"><a href="chap1.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X83B9348878B98FCB">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1.html#X7932D55D786D645A">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> </span> <div class="ContSSBlock"> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7A734C2E8709258F">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X81F4D4C47828A818">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X84913827857A1F7B">1.1-2 <span class="Heading">Rings supported in a sufficient way</span></a> </span> @@ -35,7 +35,7 @@ </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7D7570837C21607A">1.1-5 <span class="Heading">The advantages of the outsourcing concept</span></a> </span> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X7C9DE9DF7F37B4EB">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X85C5BCDF797B7954">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1.html#X79DFCAF17BD3DDC6">1.1-7 <span class="Heading">The principle of least communication (technical)</span></a> </span> @@ -49,11 +49,11 @@ <h3>1 <span class="Heading">Introduction</span></h3> -<p><a id="X83B9348878B98FCB" name="X83B9348878B98FCB"></a></p> +<p><a id="X7932D55D786D645A" name="X7932D55D786D645A"></a></p> <h4>1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></h4> -<p><a id="X7A734C2E8709258F" name="X7A734C2E8709258F"></a></p> +<p><a id="X81F4D4C47828A818" name="X81F4D4C47828A818"></a></p> <h5>1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></h5> @@ -71,7 +71,7 @@ </li> </ul> -<p>Beside these so-called constructors <strong class="pkg">Modules</strong> provides <a href="/home/sebastian/gap4r5/doc/tut/chap8.html#X7AEED9AB824CD4DA"><span class="RefLink">operations</span></a> to perform computations with these objects. The list of operations includes:</p> +<p>Beside these so-called constructors <strong class="pkg">Modules</strong> provides <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span class="RefLink">operations</span></a> to perform computations with these objects. The list of operations includes:</p> <ul> @@ -91,7 +91,7 @@ </li> </ul> -<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a href="/home/sebastian/gap4r5/doc/tut/chap8.html#X7AEED9AB824CD4DA"><span class="RefLink">methods</span></a> are <a href="/home/sebastian/gap4r5/doc/ref/chap78.html#X795EE8257848B438"><span class="RefLink">installed</span></a> for each operation, depending on <a href="/home/sebastian/gap4r5/doc/tut/chap8.html#X81C430C37B2F16D8"><span class="RefLink">properties</span></a> and <a href="/home/sebastian/gap4r5/doc/tut/chap8.html#X7C701DBF7BAE649A"><span class="RefLink">attributes</span></a> of these objects. These properties and attributes can themselves be computed by methods installed for this purpose.</p> +<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span class="RefLink">methods</span></a> are <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/ref/chap78_mj.html#X795EE8257848B438"><span class="RefLink">installed</span></a> for each operation, depending on <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X81C430C37B2F16D8"><span class="RefLink">properties</span></a> and <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7C701DBF7BAE649A"><span class="RefLink">attributes</span></a> of these objects. These properties and attributes can themselves be computed by methods installed for this purpose.</p> <p><a id="X84913827857A1F7B" name="X84913827857A1F7B"></a></p> @@ -117,13 +117,13 @@ <h5>1.1-5 <span class="Heading">The advantages of the outsourcing concept</span></h5> -<p>Linking different systems to achieve one task is a highly attractive idea, especially if it helps to avoid reinventing wheels over and over again. This was essential for <strong class="pkg">homalg</strong>, since <strong class="pkg">Singular</strong> and <strong class="pkg">MAGMA</strong> provide the fastest and most advanced Gröbner basis algorithms, while <strong class="pkg">GAP4</strong> is by far the most convenient programming language to realize complex mathematical structures (--> Appendix <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chapB.html#X7AC59CBE796EBEB1"><span class="RefLink">homalg: Why GAP4?</span></a>). Second, the implementation of the homological constructions is automatically universal, since it is independent of where the matrices reside and how the several matrix operations are realized. In particular, <strong class="pkg">homalg</strong> will always be able to use the system with the fastest Gröbner basis implementation. In this respect is <strong class="pkg">homalg</strong> and all packages that build upon it future proof.</p> +<p>Linking different systems to achieve one task is a highly attractive idea, especially if it helps to avoid reinventing wheels over and over again. This was essential for <strong class="pkg">homalg</strong>, since <strong class="pkg">Singular</strong> and <strong class="pkg">MAGMA</strong> provide the fastest and most advanced Gröbner basis algorithms, while <strong class="pkg">GAP4</strong> is by far the most convenient programming language to realize complex mathematical structures (--> Appendix <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chapB_mj.html#X7D2A5B127A68AB58"><span class="RefLink">homalg: Why GAP4?</span></a>). Second, the implementation of the homological constructions is automatically universal, since it is independent of where the matrices reside and how the several matrix operations are realized. In particular, <strong class="pkg">homalg</strong> will always be able to use the system with the fastest Gröbner basis implementation. In this respect is <strong class="pkg">homalg</strong> and all packages that build upon it future proof.</p> -<p><a id="X7C9DE9DF7F37B4EB" name="X7C9DE9DF7F37B4EB"></a></p> +<p><a id="X85C5BCDF797B7954" name="X85C5BCDF797B7954"></a></p> <h5>1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></h5> -<p>No, on the contrary. There are a lot of specialized algorithms installed in <strong class="pkg">homalg</strong>. These algorithms are based on properties and attributes that -- thanks to <strong class="pkg">GAP4</strong> -- <strong class="pkg">homalg</strong> objects can carry (--> Appendix <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chapB.html#X81E161707CF4A1A2"><span class="RefLink">homalg: GAP4 is a mathematical object-oriented programming language</span></a>): Not only can <strong class="pkg">homalg</strong> take the special nature of the underlying ring into account, it also deals with modules, complexes, ... depending on their special properties. Still, these special algorithms, like all algorithms in <strong class="pkg">homalg</strong>, are independent of the computer algebra system which hosts the matrices and which will perform the several matrix operations.</p> +<p>No, on the contrary. There are a lot of specialized algorithms installed in <strong class="pkg">homalg</strong>. These algorithms are based on properties and attributes that -- thanks to <strong class="pkg">GAP4</strong> -- <strong class="pkg">homalg</strong> objects can carry (--> Appendix <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chapB_mj.html#X78EB6CAE7C7F2F7C"><span class="RefLink">homalg: GAP4 is a mathematical object-oriented programming language</span></a>): Not only can <strong class="pkg">homalg</strong> take the special nature of the underlying ring into account, it also deals with modules, complexes, ... depending on their special properties. Still, these special algorithms, like all algorithms in <strong class="pkg">homalg</strong>, are independent of the computer algebra system which hosts the matrices and which will perform the several matrix operations.</p> <p><a id="X79DFCAF17BD3DDC6" name="X79DFCAF17BD3DDC6"></a></p> @@ -167,7 +167,7 @@ <h4>1.2 <span class="Heading">This manual</span></h4> -<p>Chapter <a href="chap2.html#X7BCE61137B4B7575"><span class="RefLink">2</span></a> describes the installation of this package, while Chapter <a href="chap3.html#X7EB860EC84DFC71E"><span class="RefLink">3</span></a> provides a short quick guide to build your first own example, using the package <strong class="pkg">ExamplesForHomalg</strong>. The remaining chapters are each devoted to one of the <strong class="pkg">homalg</strong> objects (--> <a href="chap1.html#X7A734C2E8709258F"><span class="RefLink">1.1-1</span></a>) with its constructors, properties, attributes, and operations.</p> +<p>Chapter <a href="chap2.html#X812F1BC77954DFD3"><span class="RefLink">2</span></a> describes the installation of this package, while Chapter <a href="chap3.html#X7EB860EC84DFC71E"><span class="RefLink">3</span></a> provides a short quick guide to build your first own example, using the package <strong class="pkg">ExamplesForHomalg</strong>. The remaining chapters are each devoted to one of the <strong class="pkg">homalg</strong> objects (--> <a href="chap1.html#X81F4D4C47828A818"><span class="RefLink">1.1-1</span></a>) with its constructors, properties, attributes, and operations.</p> <div class="chlinkprevnextbot"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap0.html">[Previous Chapter]</a> <a href="chap2.html">[Next Chapter]</a> </div> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap10_mj.html new/Modules-2017.09.10/doc/chap10_mj.html --- old/Modules-2017.07.17/doc/chap10_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap10_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 10: Functors</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap11_mj.html new/Modules-2017.09.10/doc/chap11_mj.html --- old/Modules-2017.07.17/doc/chap11_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap11_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 11: Symmetric Algebra and Koszul Complex</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap12_mj.html new/Modules-2017.09.10/doc/chap12_mj.html --- old/Modules-2017.07.17/doc/chap12_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap12_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 12: Exterior Algebra and Koszul Complex</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap13_mj.html new/Modules-2017.09.10/doc/chap13_mj.html --- old/Modules-2017.07.17/doc/chap13_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap13_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 13: Examples</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap1_mj.html new/Modules-2017.09.10/doc/chap1_mj.html --- old/Modules-2017.07.17/doc/chap1_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap1_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 1: Introduction</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -25,10 +25,10 @@ <p id="mathjaxlink" class="pcenter"><a href="chap1.html">[MathJax off]</a></p> <p><a id="X7DFB63A97E67C0A1" name="X7DFB63A97E67C0A1"></a></p> <div class="ChapSects"><a href="chap1_mj.html#X7DFB63A97E67C0A1">1 <span class="Heading">Introduction</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X83B9348878B98FCB">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap1_mj.html#X7932D55D786D645A">1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></a> </span> <div class="ContSSBlock"> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7A734C2E8709258F">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X81F4D4C47828A818">1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X84913827857A1F7B">1.1-2 <span class="Heading">Rings supported in a sufficient way</span></a> </span> @@ -38,7 +38,7 @@ </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7D7570837C21607A">1.1-5 <span class="Heading">The advantages of the outsourcing concept</span></a> </span> -<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X7C9DE9DF7F37B4EB">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> +<span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X85C5BCDF797B7954">1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></a> </span> <span class="ContSS"><br /><span class="nocss"> </span><a href="chap1_mj.html#X79DFCAF17BD3DDC6">1.1-7 <span class="Heading">The principle of least communication (technical)</span></a> </span> @@ -52,11 +52,11 @@ <h3>1 <span class="Heading">Introduction</span></h3> -<p><a id="X83B9348878B98FCB" name="X83B9348878B98FCB"></a></p> +<p><a id="X7932D55D786D645A" name="X7932D55D786D645A"></a></p> <h4>1.1 <span class="Heading">What is the role of the <strong class="pkg">Modules</strong> package in the <strong class="pkg">homalg</strong> project?</span></h4> -<p><a id="X7A734C2E8709258F" name="X7A734C2E8709258F"></a></p> +<p><a id="X81F4D4C47828A818" name="X81F4D4C47828A818"></a></p> <h5>1.1-1 <span class="Heading"><strong class="pkg">Modules</strong> provides ...</span></h5> @@ -74,7 +74,7 @@ </li> </ul> -<p>Beside these so-called constructors <strong class="pkg">Modules</strong> provides <a href="/home/sebastian/gap4r5/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span class="RefLink">operations</span></a> to perform computations with these objects. The list of operations includes:</p> +<p>Beside these so-called constructors <strong class="pkg">Modules</strong> provides <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span class="RefLink">operations</span></a> to perform computations with these objects. The list of operations includes:</p> <ul> @@ -94,7 +94,7 @@ </li> </ul> -<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a href="/home/sebastian/gap4r5/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span class="RefLink">methods</span></a> are <a href="/home/sebastian/gap4r5/doc/ref/chap78_mj.html#X795EE8257848B438"><span class="RefLink">installed</span></a> for each operation, depending on <a href="/home/sebastian/gap4r5/doc/tut/chap8_mj.html#X81C430C37B2F16D8"><span class="RefLink">properties</span></a> and <a href="/home/sebastian/gap4r5/doc/tut/chap8_mj.html#X7C701DBF7BAE649A"><span class="RefLink">attributes</span></a> of these objects. These properties and attributes can themselves be computed by methods installed for this purpose.</p> +<p>Using the philosophy of <strong class="pkg">GAP4</strong>, one or more <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7AEED9AB824CD4DA"><span class="RefLink">methods</span></a> are <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/ref/chap78_mj.html#X795EE8257848B438"><span class="RefLink">installed</span></a> for each operation, depending on <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X81C430C37B2F16D8"><span class="RefLink">properties</span></a> and <a href="/Users/mo/software/gap/build/gap-gc582ad1/../../gap/doc/tut/chap8_mj.html#X7C701DBF7BAE649A"><span class="RefLink">attributes</span></a> of these objects. These properties and attributes can themselves be computed by methods installed for this purpose.</p> <p><a id="X84913827857A1F7B" name="X84913827857A1F7B"></a></p> @@ -120,13 +120,13 @@ <h5>1.1-5 <span class="Heading">The advantages of the outsourcing concept</span></h5> -<p>Linking different systems to achieve one task is a highly attractive idea, especially if it helps to avoid reinventing wheels over and over again. This was essential for <strong class="pkg">homalg</strong>, since <strong class="pkg">Singular</strong> and <strong class="pkg">MAGMA</strong> provide the fastest and most advanced Gröbner basis algorithms, while <strong class="pkg">GAP4</strong> is by far the most convenient programming language to realize complex mathematical structures (--> Appendix <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chapB_mj.html#X7AC59CBE796EBEB1"><span class="RefLink">homalg: Why GAP4?</span></a>). Second, the implementation of the homological constructions is automatically universal, since it is independent of where the matrices reside and how the several matrix operations are realized. In particular, <strong class="pkg">homalg</strong> will always be able to use the system with the fastest Gröbner basis implementation. In this respect is <strong class="pkg">homalg</strong> and all packages that build upon it future proof.</p> +<p>Linking different systems to achieve one task is a highly attractive idea, especially if it helps to avoid reinventing wheels over and over again. This was essential for <strong class="pkg">homalg</strong>, since <strong class="pkg">Singular</strong> and <strong class="pkg">MAGMA</strong> provide the fastest and most advanced Gröbner basis algorithms, while <strong class="pkg">GAP4</strong> is by far the most convenient programming language to realize complex mathematical structures (--> Appendix <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chapB_mj.html#X7D2A5B127A68AB58"><span class="RefLink">homalg: Why GAP4?</span></a>). Second, the implementation of the homological constructions is automatically universal, since it is independent of where the matrices reside and how the several matrix operations are realized. In particular, <strong class="pkg">homalg</strong> will always be able to use the system with the fastest Gröbner basis implementation. In this respect is <strong class="pkg">homalg</strong> and all packages that build upon it future proof.</p> -<p><a id="X7C9DE9DF7F37B4EB" name="X7C9DE9DF7F37B4EB"></a></p> +<p><a id="X85C5BCDF797B7954" name="X85C5BCDF797B7954"></a></p> <h5>1.1-6 <span class="Heading">Does this mean that <strong class="pkg">homalg</strong> has only algorithms for the generic case?</span></h5> -<p>No, on the contrary. There are a lot of specialized algorithms installed in <strong class="pkg">homalg</strong>. These algorithms are based on properties and attributes that -- thanks to <strong class="pkg">GAP4</strong> -- <strong class="pkg">homalg</strong> objects can carry (--> Appendix <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chapB_mj.html#X81E161707CF4A1A2"><span class="RefLink">homalg: GAP4 is a mathematical object-oriented programming language</span></a>): Not only can <strong class="pkg">homalg</strong> take the special nature of the underlying ring into account, it also deals with modules, complexes, ... depending on their special properties. Still, these special algorithms, like all algorithms in <strong class="pkg">homalg</strong>, are independent of the computer algebra system which hosts the matrices and which will perform the several matrix operations.</p> +<p>No, on the contrary. There are a lot of specialized algorithms installed in <strong class="pkg">homalg</strong>. These algorithms are based on properties and attributes that -- thanks to <strong class="pkg">GAP4</strong> -- <strong class="pkg">homalg</strong> objects can carry (--> Appendix <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chapB_mj.html#X78EB6CAE7C7F2F7C"><span class="RefLink">homalg: GAP4 is a mathematical object-oriented programming language</span></a>): Not only can <strong class="pkg">homalg</strong> take the special nature of the underlying ring into account, it also deals with modules, complexes, ... depending on their special properties. Still, these special algorithms, like all algorithms in <strong class="pkg">homalg</strong>, are independent of the computer algebra system which hosts the matrices and which will perform the several matrix operations.</p> <p><a id="X79DFCAF17BD3DDC6" name="X79DFCAF17BD3DDC6"></a></p> @@ -170,7 +170,7 @@ <h4>1.2 <span class="Heading">This manual</span></h4> -<p>Chapter <a href="chap2_mj.html#X7BCE61137B4B7575"><span class="RefLink">2</span></a> describes the installation of this package, while Chapter <a href="chap3_mj.html#X7EB860EC84DFC71E"><span class="RefLink">3</span></a> provides a short quick guide to build your first own example, using the package <strong class="pkg">ExamplesForHomalg</strong>. The remaining chapters are each devoted to one of the <strong class="pkg">homalg</strong> objects (--> <a href="chap1_mj.html#X7A734C2E8709258F"><span class="RefLink">1.1-1</span></a>) with its constructors, properties, attributes, and operations.</p> +<p>Chapter <a href="chap2_mj.html#X812F1BC77954DFD3"><span class="RefLink">2</span></a> describes the installation of this package, while Chapter <a href="chap3_mj.html#X7EB860EC84DFC71E"><span class="RefLink">3</span></a> provides a short quick guide to build your first own example, using the package <strong class="pkg">ExamplesForHomalg</strong>. The remaining chapters are each devoted to one of the <strong class="pkg">homalg</strong> objects (--> <a href="chap1_mj.html#X81F4D4C47828A818"><span class="RefLink">1.1-1</span></a>) with its constructors, properties, attributes, and operations.</p> <div class="chlinkprevnextbot"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap0_mj.html">[Previous Chapter]</a> <a href="chap2_mj.html">[Next Chapter]</a> </div> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap2.html new/Modules-2017.09.10/doc/chap2.html --- old/Modules-2017.07.17/doc/chap2.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap2.html 2017-12-19 11:18:48.000000000 +0100 @@ -20,8 +20,8 @@ <div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap1.html">[Previous Chapter]</a> <a href="chap3.html">[Next Chapter]</a> </div> <p id="mathjaxlink" class="pcenter"><a href="chap2_mj.html">[MathJax on]</a></p> -<p><a id="X7BCE61137B4B7575" name="X7BCE61137B4B7575"></a></p> -<div class="ChapSects"><a href="chap2.html#X7BCE61137B4B7575">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> +<p><a id="X812F1BC77954DFD3" name="X812F1BC77954DFD3"></a></p> +<div class="ChapSects"><a href="chap2.html#X812F1BC77954DFD3">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> </div> <h3>2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></h3> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap2_mj.html new/Modules-2017.09.10/doc/chap2_mj.html --- old/Modules-2017.07.17/doc/chap2_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap2_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 2: Installation of the Modules Package</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -23,8 +23,8 @@ <div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap1_mj.html">[Previous Chapter]</a> <a href="chap3_mj.html">[Next Chapter]</a> </div> <p id="mathjaxlink" class="pcenter"><a href="chap2.html">[MathJax off]</a></p> -<p><a id="X7BCE61137B4B7575" name="X7BCE61137B4B7575"></a></p> -<div class="ChapSects"><a href="chap2_mj.html#X7BCE61137B4B7575">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> +<p><a id="X812F1BC77954DFD3" name="X812F1BC77954DFD3"></a></p> +<div class="ChapSects"><a href="chap2_mj.html#X812F1BC77954DFD3">2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></a> </div> <h3>2 <span class="Heading">Installation of the <strong class="pkg">Modules</strong> Package</span></h3> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap3.html new/Modules-2017.09.10/doc/chap3.html --- old/Modules-2017.07.17/doc/chap3.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap3.html 2017-12-19 11:18:48.000000000 +0100 @@ -22,10 +22,10 @@ <p id="mathjaxlink" class="pcenter"><a href="chap3_mj.html">[MathJax on]</a></p> <p><a id="X7EB860EC84DFC71E" name="X7EB860EC84DFC71E"></a></p> <div class="ChapSects"><a href="chap3.html#X7EB860EC84DFC71E">3 <span class="Heading">Quick Start</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X863CD6AA80705231">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">ℤ/mℤ</span>?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X8527706586389E29">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">ℤ/mℤ</span>?</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X84B6C7078148720E">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X85872612814D30B4">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3.html#X7BBB3E988435A713">3.3 <span class="Heading">A typical example</span></a> @@ -40,7 +40,7 @@ <p>This chapter should give you a quick guide to create your first example in <strong class="pkg">homalg</strong>.</p> -<p><a id="X863CD6AA80705231" name="X863CD6AA80705231"></a></p> +<p><a id="X8527706586389E29" name="X8527706586389E29"></a></p> <h4>3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">ℤ/mℤ</span>?</span></h4> @@ -48,7 +48,7 @@ <p>The second and more important reason is to underline the fact the all effective homological constructions that are relevant for <strong class="pkg">Modules</strong> have only as much to do with the Gröbnerbasis algorithm as they do with the Hermite algorithm for the ring ℤ; both algorithms are used to effectively solve inhomogeneous linear systems over the respective ring. And <strong class="pkg">Modules</strong> is designed to use rings and matrices over these rings together with all their operations as a black box. In other words: Because <strong class="pkg">Modules</strong> works for <span class="SimpleMath">ℤ</span>, it works by its design for all other computable rings.</p> -<p><a id="X84B6C7078148720E" name="X84B6C7078148720E"></a></p> +<p><a id="X85872612814D30B4" name="X85872612814D30B4"></a></p> <h4>3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></h4> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap3_mj.html new/Modules-2017.09.10/doc/chap3_mj.html --- old/Modules-2017.07.17/doc/chap3_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap3_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 3: Quick Start</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -25,10 +25,10 @@ <p id="mathjaxlink" class="pcenter"><a href="chap3.html">[MathJax off]</a></p> <p><a id="X7EB860EC84DFC71E" name="X7EB860EC84DFC71E"></a></p> <div class="ChapSects"><a href="chap3_mj.html#X7EB860EC84DFC71E">3 <span class="Heading">Quick Start</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X863CD6AA80705231">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">\(ℤ/mℤ\)</span>?</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X8527706586389E29">3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">\(ℤ/mℤ\)</span>?</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X84B6C7078148720E">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X85872612814D30B4">3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></a> </span> </div> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chap3_mj.html#X7BBB3E988435A713">3.3 <span class="Heading">A typical example</span></a> @@ -43,7 +43,7 @@ <p>This chapter should give you a quick guide to create your first example in <strong class="pkg">homalg</strong>.</p> -<p><a id="X863CD6AA80705231" name="X863CD6AA80705231"></a></p> +<p><a id="X8527706586389E29" name="X8527706586389E29"></a></p> <h4>3.1 <span class="Heading">Why are all examples in this manual over ℤ or <span class="SimpleMath">\(ℤ/mℤ\)</span>?</span></h4> @@ -51,7 +51,7 @@ <p>The second and more important reason is to underline the fact the all effective homological constructions that are relevant for <strong class="pkg">Modules</strong> have only as much to do with the Gröbnerbasis algorithm as they do with the Hermite algorithm for the ring ℤ; both algorithms are used to effectively solve inhomogeneous linear systems over the respective ring. And <strong class="pkg">Modules</strong> is designed to use rings and matrices over these rings together with all their operations as a black box. In other words: Because <strong class="pkg">Modules</strong> works for <span class="SimpleMath">\(ℤ\)</span>, it works by its design for all other computable rings.</p> -<p><a id="X84B6C7078148720E" name="X84B6C7078148720E"></a></p> +<p><a id="X85872612814D30B4" name="X85872612814D30B4"></a></p> <h4>3.2 <span class="Heading"><code class="code">gap> ExamplesForHomalg();</code></span></h4> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap4_mj.html new/Modules-2017.09.10/doc/chap4_mj.html --- old/Modules-2017.07.17/doc/chap4_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap4_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 4: Ring Maps</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap5_mj.html new/Modules-2017.09.10/doc/chap5_mj.html --- old/Modules-2017.07.17/doc/chap5_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap5_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 5: Relations</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap6_mj.html new/Modules-2017.09.10/doc/chap6_mj.html --- old/Modules-2017.07.17/doc/chap6_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap6_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 6: Generators</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap7.html new/Modules-2017.09.10/doc/chap7.html --- old/Modules-2017.07.17/doc/chap7.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap7.html 2017-12-19 11:18:48.000000000 +0100 @@ -593,7 +593,7 @@ <p>Check if the <strong class="pkg">homalg</strong> module <var class="Arg">M</var> is prime.</p> -<p>For more properties see the corresponding section <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap3.html#X7B3E8C797D15F0B7"><span class="RefLink">homalg: Objects: Properties</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> +<p>For more properties see the corresponding section <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap3_mj.html#X7B3E8C797D15F0B7"><span class="RefLink">homalg: Objects: Properties</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> <p><a id="X78A9979B862BD51D" name="X78A9979B862BD51D"></a></p> @@ -779,7 +779,7 @@ <p><var class="Arg">M</var> is a <strong class="pkg">homalg</strong> module.</p> -<p>For more attributes see the corresponding section <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap3.html#X805B06828294072C"><span class="RefLink">homalg: Objects: Attributes</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> +<p>For more attributes see the corresponding section <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap3_mj.html#X805B06828294072C"><span class="RefLink">homalg: Objects: Attributes</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> <p><a id="X7DDA6B237C17BDBA" name="X7DDA6B237C17BDBA"></a></p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap7_mj.html new/Modules-2017.09.10/doc/chap7_mj.html --- old/Modules-2017.07.17/doc/chap7_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap7_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 7: Modules</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -596,7 +596,7 @@ <p>Check if the <strong class="pkg">homalg</strong> module <var class="Arg">M</var> is prime.</p> -<p>For more properties see the corresponding section <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap3_mj.html#X7B3E8C797D15F0B7"><span class="RefLink">homalg: Objects: Properties</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> +<p>For more properties see the corresponding section <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap3_mj.html#X7B3E8C797D15F0B7"><span class="RefLink">homalg: Objects: Properties</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> <p><a id="X78A9979B862BD51D" name="X78A9979B862BD51D"></a></p> @@ -782,7 +782,7 @@ <p><var class="Arg">M</var> is a <strong class="pkg">homalg</strong> module.</p> -<p>For more attributes see the corresponding section <a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap3_mj.html#X805B06828294072C"><span class="RefLink">homalg: Objects: Attributes</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> +<p>For more attributes see the corresponding section <a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap3_mj.html#X805B06828294072C"><span class="RefLink">homalg: Objects: Attributes</span></a>) in the documentation of the <strong class="pkg">homalg</strong> package.</p> <p><a id="X7DDA6B237C17BDBA" name="X7DDA6B237C17BDBA"></a></p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap8.html new/Modules-2017.09.10/doc/chap8.html --- old/Modules-2017.07.17/doc/chap8.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap8.html 2017-12-19 11:18:48.000000000 +0100 @@ -52,7 +52,7 @@ <h3>8 <span class="Heading">Maps</span></h3> -<p>A <strong class="pkg">homalg</strong> map is a data structures for maps (module homomorphisms) between finitely generated modules. Each map in <strong class="pkg">homalg</strong> knows its source (--> <code class="func">Source</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4.html#X7DE8173F80E07AB1"><span class="RefLink">homalg: Source</span></a>)) and its target (--> <code class="func">Range</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4.html#X829F76BB80BD55DB"><span class="RefLink">homalg: Range</span></a>)). A map is represented by a <strong class="pkg">homalg</strong> matrix relative to the current set of generators of the source resp. target <strong class="pkg">homalg</strong> module. As with modules (--> Chapter <a href="chap7.html#X8183A6857B0C3633"><span class="RefLink">7</span></a>), maps in <strong class="pkg">homalg</strong> are realized in an intrinsic manner: If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> +<p>A <strong class="pkg">homalg</strong> map is a data structures for maps (module homomorphisms) between finitely generated modules. Each map in <strong class="pkg">homalg</strong> knows its source (--> <code class="func">Source</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X7DE8173F80E07AB1"><span class="RefLink">homalg: Source</span></a>)) and its target (--> <code class="func">Range</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X829F76BB80BD55DB"><span class="RefLink">homalg: Range</span></a>)). A map is represented by a <strong class="pkg">homalg</strong> matrix relative to the current set of generators of the source resp. target <strong class="pkg">homalg</strong> module. As with modules (--> Chapter <a href="chap7.html#X8183A6857B0C3633"><span class="RefLink">7</span></a>), maps in <strong class="pkg">homalg</strong> are realized in an intrinsic manner: If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> <p><a id="X790FEEBD86F5C143" name="X790FEEBD86F5C143"></a></p> @@ -103,7 +103,7 @@ <p>The <strong class="pkg">GAP</strong> representation of maps between finitley generated <strong class="pkg">homalg</strong> modules.</p> -<p>(It is a representation of the <strong class="pkg">GAP</strong> category <code class="func">IsHomalgChainMorphism</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap7.html#X7CB62E188027B7C5"><span class="RefLink">homalg: IsHomalgChainMorphism</span></a>), which is a subrepresentation of the <strong class="pkg">GAP</strong> representation <code class="code">IsStaticMorphismOfFinitelyGeneratedObjectsRep</code>.)</p> +<p>(It is a representation of the <strong class="pkg">GAP</strong> category <code class="func">IsHomalgChainMorphism</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap7_mj.html#X7CB62E188027B7C5"><span class="RefLink">homalg: IsHomalgChainMorphism</span></a>), which is a subrepresentation of the <strong class="pkg">GAP</strong> representation <code class="code">IsStaticMorphismOfFinitelyGeneratedObjectsRep</code>.)</p> <p><a id="X8278F43E8373E4A1" name="X8278F43E8373E4A1"></a></p> @@ -117,7 +117,7 @@ <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ HomalgMap</code>( <var class="Arg">mat</var>[, <var class="Arg">string</var>] )</td><td class="tdright">( function )</td></tr></table></div> <p>Returns: a <strong class="pkg">homalg</strong> map</p> -<p>This constructor returns a map (homomorphism) of finitely presented modules. It is represented by the <strong class="pkg">homalg</strong> matrix <var class="Arg">mat</var> relative to the current set of generators of the source <strong class="pkg">homalg</strong> module <var class="Arg">M</var> and target module <var class="Arg">N</var> (--> <a href="chap7.html#X7DB16C4B87DD115F"><span class="RefLink">7.2</span></a>). Unless the source module is free <em>and</em> given on free generators the returned map will cautiously be indicated using parenthesis: "homomorphism". To verify if the result is indeed a well defined map use <code class="func">IsMorphism</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4.html#X7F66120A814DC16B"><span class="RefLink">homalg: IsMorphism</span></a>). If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. If source and target are identical objects, and only then, the map is created as a selfmap (endomorphism). <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> +<p>This constructor returns a map (homomorphism) of finitely presented modules. It is represented by the <strong class="pkg">homalg</strong> matrix <var class="Arg">mat</var> relative to the current set of generators of the source <strong class="pkg">homalg</strong> module <var class="Arg">M</var> and target module <var class="Arg">N</var> (--> <a href="chap7.html#X7DB16C4B87DD115F"><span class="RefLink">7.2</span></a>). Unless the source module is free <em>and</em> given on free generators the returned map will cautiously be indicated using parenthesis: "homomorphism". To verify if the result is indeed a well defined map use <code class="func">IsMorphism</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X7F66120A814DC16B"><span class="RefLink">homalg: IsMorphism</span></a>). If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. If source and target are identical objects, and only then, the map is created as a selfmap (endomorphism). <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> <div class="example"><pre> @@ -298,7 +298,7 @@ <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PreInverse</code>( <var class="Arg">phi</var> )</td><td class="tdright">( operation )</td></tr></table></div> <p>Returns: a <strong class="pkg">homalg</strong> map, <code class="code">false</code>, or <code class="code">fail</code></p> -<p>Compute a pre-inverse of the morphism <var class="Arg">phi</var> in case one exists. For a pre-inverse to exist <var class="Arg">phi</var> must be an epimorphism. For <em>commutative</em> rings <strong class="pkg">homalg</strong> has an algorithm installed which decides the existence and returns a pre-inverse in case one exists. If a pre-inverse does not exist then <code class="code">false</code> is returned. The algorithm finds a particular solution of a two-side inhomogeneous linear system over <span class="SimpleMath">R :=</span><code class="code">HomalgRing</code><span class="SimpleMath">( <var class="Arg">phi</var> )</span>. For <em>non</em>commutative rings a heuristic method is installed. If it finds a pre-inverse it returns it, otherwise it returns <code class="code">fail</code> (--> <a href="chap1.html#X7C31B1FE786E596E"><span class="RefLink">Principal limitation</span></a>). The operation <code class="code">PreInverse</code> is used to install a method for the property <code class="func">IsSplitEpimorphism</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4.html#X80A66EFA862E56BC"><span class="RefLink">homalg: IsSplitEpimorphism</span></a>).</p> +<p>Compute a pre-inverse of the morphism <var class="Arg">phi</var> in case one exists. For a pre-inverse to exist <var class="Arg">phi</var> must be an epimorphism. For <em>commutative</em> rings <strong class="pkg">homalg</strong> has an algorithm installed which decides the existence and returns a pre-inverse in case one exists. If a pre-inverse does not exist then <code class="code">false</code> is returned. The algorithm finds a particular solution of a two-side inhomogeneous linear system over <span class="SimpleMath">R :=</span><code class="code">HomalgRing</code><span class="SimpleMath">( <var class="Arg">phi</var> )</span>. For <em>non</em>commutative rings a heuristic method is installed. If it finds a pre-inverse it returns it, otherwise it returns <code class="code">fail</code> (--> <a href="chap1.html#X7C31B1FE786E596E"><span class="RefLink">Principal limitation</span></a>). The operation <code class="code">PreInverse</code> is used to install a method for the property <code class="func">IsSplitEpimorphism</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X80A66EFA862E56BC"><span class="RefLink">homalg: IsSplitEpimorphism</span></a>).</p> <p><code class="code">PreInverse</code> checks if it can decide the projectivity of <code class="code">Range</code><span class="SimpleMath">( <var class="Arg">phi</var> )</span>.</p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap8_mj.html new/Modules-2017.09.10/doc/chap8_mj.html --- old/Modules-2017.07.17/doc/chap8_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap8_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 8: Maps</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -55,7 +55,7 @@ <h3>8 <span class="Heading">Maps</span></h3> -<p>A <strong class="pkg">homalg</strong> map is a data structures for maps (module homomorphisms) between finitely generated modules. Each map in <strong class="pkg">homalg</strong> knows its source (--> <code class="func">Source</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X7DE8173F80E07AB1"><span class="RefLink">homalg: Source</span></a>)) and its target (--> <code class="func">Range</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X829F76BB80BD55DB"><span class="RefLink">homalg: Range</span></a>)). A map is represented by a <strong class="pkg">homalg</strong> matrix relative to the current set of generators of the source resp. target <strong class="pkg">homalg</strong> module. As with modules (--> Chapter <a href="chap7_mj.html#X8183A6857B0C3633"><span class="RefLink">7</span></a>), maps in <strong class="pkg">homalg</strong> are realized in an intrinsic manner: If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> +<p>A <strong class="pkg">homalg</strong> map is a data structures for maps (module homomorphisms) between finitely generated modules. Each map in <strong class="pkg">homalg</strong> knows its source (--> <code class="func">Source</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X7DE8173F80E07AB1"><span class="RefLink">homalg: Source</span></a>)) and its target (--> <code class="func">Range</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X829F76BB80BD55DB"><span class="RefLink">homalg: Range</span></a>)). A map is represented by a <strong class="pkg">homalg</strong> matrix relative to the current set of generators of the source resp. target <strong class="pkg">homalg</strong> module. As with modules (--> Chapter <a href="chap7_mj.html#X8183A6857B0C3633"><span class="RefLink">7</span></a>), maps in <strong class="pkg">homalg</strong> are realized in an intrinsic manner: If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> <p><a id="X790FEEBD86F5C143" name="X790FEEBD86F5C143"></a></p> @@ -106,7 +106,7 @@ <p>The <strong class="pkg">GAP</strong> representation of maps between finitley generated <strong class="pkg">homalg</strong> modules.</p> -<p>(It is a representation of the <strong class="pkg">GAP</strong> category <code class="func">IsHomalgChainMorphism</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap7_mj.html#X7CB62E188027B7C5"><span class="RefLink">homalg: IsHomalgChainMorphism</span></a>), which is a subrepresentation of the <strong class="pkg">GAP</strong> representation <code class="code">IsStaticMorphismOfFinitelyGeneratedObjectsRep</code>.)</p> +<p>(It is a representation of the <strong class="pkg">GAP</strong> category <code class="func">IsHomalgChainMorphism</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap7_mj.html#X7CB62E188027B7C5"><span class="RefLink">homalg: IsHomalgChainMorphism</span></a>), which is a subrepresentation of the <strong class="pkg">GAP</strong> representation <code class="code">IsStaticMorphismOfFinitelyGeneratedObjectsRep</code>.)</p> <p><a id="X8278F43E8373E4A1" name="X8278F43E8373E4A1"></a></p> @@ -120,7 +120,7 @@ <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ HomalgMap</code>( <var class="Arg">mat</var>[, <var class="Arg">string</var>] )</td><td class="tdright">( function )</td></tr></table></div> <p>Returns: a <strong class="pkg">homalg</strong> map</p> -<p>This constructor returns a map (homomorphism) of finitely presented modules. It is represented by the <strong class="pkg">homalg</strong> matrix <var class="Arg">mat</var> relative to the current set of generators of the source <strong class="pkg">homalg</strong> module <var class="Arg">M</var> and target module <var class="Arg">N</var> (--> <a href="chap7_mj.html#X7DB16C4B87DD115F"><span class="RefLink">7.2</span></a>). Unless the source module is free <em>and</em> given on free generators the returned map will cautiously be indicated using parenthesis: "homomorphism". To verify if the result is indeed a well defined map use <code class="func">IsMorphism</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X7F66120A814DC16B"><span class="RefLink">homalg: IsMorphism</span></a>). If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. If source and target are identical objects, and only then, the map is created as a selfmap (endomorphism). <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> +<p>This constructor returns a map (homomorphism) of finitely presented modules. It is represented by the <strong class="pkg">homalg</strong> matrix <var class="Arg">mat</var> relative to the current set of generators of the source <strong class="pkg">homalg</strong> module <var class="Arg">M</var> and target module <var class="Arg">N</var> (--> <a href="chap7_mj.html#X7DB16C4B87DD115F"><span class="RefLink">7.2</span></a>). Unless the source module is free <em>and</em> given on free generators the returned map will cautiously be indicated using parenthesis: "homomorphism". To verify if the result is indeed a well defined map use <code class="func">IsMorphism</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X7F66120A814DC16B"><span class="RefLink">homalg: IsMorphism</span></a>). If the presentations of the source or/and target module are altered after the map was constructed, a new adapted representation matrix of the map is automatically computed whenever needed. For this the internal transition matrices of the modules are used. If source and target are identical objects, and only then, the map is created as a selfmap (endomorphism). <strong class="pkg">homalg</strong> uses the so-called <em>associative</em> convention for maps. This means that maps of left modules are applied from the right, whereas maps of right modules from the left.</p> <div class="example"><pre> @@ -301,7 +301,7 @@ <div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">‣ PreInverse</code>( <var class="Arg">phi</var> )</td><td class="tdright">( operation )</td></tr></table></div> <p>Returns: a <strong class="pkg">homalg</strong> map, <code class="code">false</code>, or <code class="code">fail</code></p> -<p>Compute a pre-inverse of the morphism <var class="Arg">phi</var> in case one exists. For a pre-inverse to exist <var class="Arg">phi</var> must be an epimorphism. For <em>commutative</em> rings <strong class="pkg">homalg</strong> has an algorithm installed which decides the existence and returns a pre-inverse in case one exists. If a pre-inverse does not exist then <code class="code">false</code> is returned. The algorithm finds a particular solution of a two-side inhomogeneous linear system over <span class="SimpleMath">\(R := \)</span><code class="code">HomalgRing</code><span class="SimpleMath">\(( \textit{phi} )\)</span>. For <em>non</em>commutative rings a heuristic method is installed. If it finds a pre-inverse it returns it, otherwise it returns <code class="code">fail</code> (--> <a href="chap1_mj.html#X7C31B1FE786E596E"><span class="RefLink">Principal limitation</span></a>). The operation <code class="code">PreInverse</code> is used to install a method for the property <code class="func">IsSplitEpimorphism</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X80A66EFA862E56BC"><span class="RefLink">homalg: IsSplitEpimorphism</span></a>).</p> +<p>Compute a pre-inverse of the morphism <var class="Arg">phi</var> in case one exists. For a pre-inverse to exist <var class="Arg">phi</var> must be an epimorphism. For <em>commutative</em> rings <strong class="pkg">homalg</strong> has an algorithm installed which decides the existence and returns a pre-inverse in case one exists. If a pre-inverse does not exist then <code class="code">false</code> is returned. The algorithm finds a particular solution of a two-side inhomogeneous linear system over <span class="SimpleMath">\(R := \)</span><code class="code">HomalgRing</code><span class="SimpleMath">\(( \textit{phi} )\)</span>. For <em>non</em>commutative rings a heuristic method is installed. If it finds a pre-inverse it returns it, otherwise it returns <code class="code">fail</code> (--> <a href="chap1_mj.html#X7C31B1FE786E596E"><span class="RefLink">Principal limitation</span></a>). The operation <code class="code">PreInverse</code> is used to install a method for the property <code class="func">IsSplitEpimorphism</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap4_mj.html#X80A66EFA862E56BC"><span class="RefLink">homalg: IsSplitEpimorphism</span></a>).</p> <p><code class="code">PreInverse</code> checks if it can decide the projectivity of <code class="code">Range</code><span class="SimpleMath">\(( \textit{phi} )\)</span>.</p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap9.html new/Modules-2017.09.10/doc/chap9.html --- old/Modules-2017.07.17/doc/chap9.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap9.html 2017-12-19 11:18:48.000000000 +0100 @@ -72,7 +72,7 @@ <p>The <strong class="pkg">GAP</strong> representation of elements of modules.</p> -<p>(It is a subrepresentation of <code class="func">IsElementOfAnObjectGivenByAMorphismRep</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap5.html#X87F3740E85E9AA51"><span class="RefLink">homalg: IsElementOfAnObjectGivenByAMorphismRep</span></a>).)</p> +<p>(It is a subrepresentation of <code class="func">IsElementOfAnObjectGivenByAMorphismRep</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap5_mj.html#X87F3740E85E9AA51"><span class="RefLink">homalg: IsElementOfAnObjectGivenByAMorphismRep</span></a>).)</p> <p><a id="X7CFD0CF27A3FEB9D" name="X7CFD0CF27A3FEB9D"></a></p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chap9_mj.html new/Modules-2017.09.10/doc/chap9_mj.html --- old/Modules-2017.07.17/doc/chap9_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chap9_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Chapter 9: Module Elements</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -75,7 +75,7 @@ <p>The <strong class="pkg">GAP</strong> representation of elements of modules.</p> -<p>(It is a subrepresentation of <code class="func">IsElementOfAnObjectGivenByAMorphismRep</code> (<a href="/home/sebastian/gap4r5/local/pkg/homalg_project/homalg/doc/chap5_mj.html#X87F3740E85E9AA51"><span class="RefLink">homalg: IsElementOfAnObjectGivenByAMorphismRep</span></a>).)</p> +<p>(It is a subrepresentation of <code class="func">IsElementOfAnObjectGivenByAMorphismRep</code> (<a href="/Users/mo/software/gap/gap_current/local/pkg/homalg_project/homalg/doc/chap5_mj.html#X87F3740E85E9AA51"><span class="RefLink">homalg: IsElementOfAnObjectGivenByAMorphismRep</span></a>).)</p> <p><a id="X7CFD0CF27A3FEB9D" name="X7CFD0CF27A3FEB9D"></a></p> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapA.html new/Modules-2017.09.10/doc/chapA.html --- old/Modules-2017.07.17/doc/chapA.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapA.html 2017-12-19 11:18:48.000000000 +0100 @@ -20,8 +20,8 @@ <div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chap13.html">[Previous Chapter]</a> <a href="chapB.html">[Next Chapter]</a> </div> <p id="mathjaxlink" class="pcenter"><a href="chapA_mj.html">[MathJax on]</a></p> -<p><a id="X78E86EA18602AC04" name="X78E86EA18602AC04"></a></p> -<div class="ChapSects"><a href="chapA.html#X78E86EA18602AC04">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> +<p><a id="X7DD2E4EB846C7E75" name="X7DD2E4EB846C7E75"></a></p> +<div class="ChapSects"><a href="chapA.html#X7DD2E4EB846C7E75">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> </div> <h3>A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></h3> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapA_mj.html new/Modules-2017.09.10/doc/chapA_mj.html --- old/Modules-2017.07.17/doc/chapA_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapA_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Appendix A: The Mathematical Idea behind Modules</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -23,8 +23,8 @@ <div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chap13_mj.html">[Previous Chapter]</a> <a href="chapB_mj.html">[Next Chapter]</a> </div> <p id="mathjaxlink" class="pcenter"><a href="chapA.html">[MathJax off]</a></p> -<p><a id="X78E86EA18602AC04" name="X78E86EA18602AC04"></a></p> -<div class="ChapSects"><a href="chapA_mj.html#X78E86EA18602AC04">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> +<p><a id="X7DD2E4EB846C7E75" name="X7DD2E4EB846C7E75"></a></p> +<div class="ChapSects"><a href="chapA_mj.html#X7DD2E4EB846C7E75">A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></a> </div> <h3>A <span class="Heading">The Mathematical Idea behind <strong class="pkg">Modules</strong></span></h3> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapB.html new/Modules-2017.09.10/doc/chapB.html --- old/Modules-2017.07.17/doc/chapB.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapB.html 2017-12-19 11:18:48.000000000 +0100 @@ -22,21 +22,21 @@ <p id="mathjaxlink" class="pcenter"><a href="chapB_mj.html">[MathJax on]</a></p> <p><a id="X8222352C78A19214" name="X8222352C78A19214"></a></p> <div class="ChapSects"><a href="chapB.html#X8222352C78A19214">B <span class="Heading">Logic Subpackages</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X7CFB956F82FBF1FA">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X8462717983D4B197">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X7CA14AB186D0A7E0">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB.html#X7A553EC57DD2E46E">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> </span> </div> </div> <h3>B <span class="Heading">Logic Subpackages</span></h3> -<p><a id="X7CFB956F82FBF1FA" name="X7CFB956F82FBF1FA"></a></p> +<p><a id="X8462717983D4B197" name="X8462717983D4B197"></a></p> <h4>B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></h4> -<p><a id="X7CA14AB186D0A7E0" name="X7CA14AB186D0A7E0"></a></p> +<p><a id="X7A553EC57DD2E46E" name="X7A553EC57DD2E46E"></a></p> <h4>B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></h4> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapB_mj.html new/Modules-2017.09.10/doc/chapB_mj.html --- old/Modules-2017.07.17/doc/chapB_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapB_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Appendix B: Logic Subpackages</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -25,21 +25,21 @@ <p id="mathjaxlink" class="pcenter"><a href="chapB.html">[MathJax off]</a></p> <p><a id="X8222352C78A19214" name="X8222352C78A19214"></a></p> <div class="ChapSects"><a href="chapB_mj.html#X8222352C78A19214">B <span class="Heading">Logic Subpackages</span></a> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X7CFB956F82FBF1FA">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X8462717983D4B197">B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X7CA14AB186D0A7E0">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapB_mj.html#X7A553EC57DD2E46E">B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></a> </span> </div> </div> <h3>B <span class="Heading">Logic Subpackages</span></h3> -<p><a id="X7CFB956F82FBF1FA" name="X7CFB956F82FBF1FA"></a></p> +<p><a id="X8462717983D4B197" name="X8462717983D4B197"></a></p> <h4>B.1 <span class="Heading"><strong class="pkg">LIMOD</strong>: Logical Implications for Modules</span></h4> -<p><a id="X7CA14AB186D0A7E0" name="X7CA14AB186D0A7E0"></a></p> +<p><a id="X7A553EC57DD2E46E" name="X7A553EC57DD2E46E"></a></p> <h4>B.2 <span class="Heading"><strong class="pkg">LIHOM</strong>: Logical Implications for Homomorphisms of Modules</span></h4> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapBib_mj.html new/Modules-2017.09.10/doc/chapBib_mj.html --- old/Modules-2017.07.17/doc/chapBib_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapBib_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - References</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapC.html new/Modules-2017.09.10/doc/chapC.html --- old/Modules-2017.07.17/doc/chapC.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapC.html 2017-12-19 11:18:48.000000000 +0100 @@ -20,8 +20,8 @@ <div class="chlinkprevnexttop"> <a href="chap0.html">[Top of Book]</a> <a href="chap0.html#contents">[Contents]</a> <a href="chapB.html">[Previous Chapter]</a> <a href="chapBib.html">[Next Chapter]</a> </div> <p id="mathjaxlink" class="pcenter"><a href="chapC_mj.html">[MathJax on]</a></p> -<p><a id="X866669D781FBA4A4" name="X866669D781FBA4A4"></a></p> -<div class="ChapSects"><a href="chapC.html#X866669D781FBA4A4">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> +<p><a id="X78684D057C432971" name="X78684D057C432971"></a></p> +<div class="ChapSects"><a href="chapC.html#X78684D057C432971">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X87ED7A1883976BE9">C.1 <span class="Heading">Relations and Generators</span></a> </span> </div> @@ -31,7 +31,7 @@ <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7BDE961D858BC60E">C.3 <span class="Heading">The High Level Homological Algorithms</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7EF0F9E47CCE826C">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC.html#X7E8463067BB2F31E">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> </span> </div> </div> @@ -225,7 +225,7 @@ </table><br /><p> </p><br /> </div> -<p><a id="X7EF0F9E47CCE826C" name="X7EF0F9E47CCE826C"></a></p> +<p><a id="X7E8463067BB2F31E" name="X7E8463067BB2F31E"></a></p> <h4>C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></h4> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapC_mj.html new/Modules-2017.09.10/doc/chapC_mj.html --- old/Modules-2017.07.17/doc/chapC_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapC_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Appendix C: Overview of the Modules Package Source Code</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> @@ -23,8 +23,8 @@ <div class="chlinkprevnexttop"> <a href="chap0_mj.html">[Top of Book]</a> <a href="chap0_mj.html#contents">[Contents]</a> <a href="chapB_mj.html">[Previous Chapter]</a> <a href="chapBib_mj.html">[Next Chapter]</a> </div> <p id="mathjaxlink" class="pcenter"><a href="chapC.html">[MathJax off]</a></p> -<p><a id="X866669D781FBA4A4" name="X866669D781FBA4A4"></a></p> -<div class="ChapSects"><a href="chapC_mj.html#X866669D781FBA4A4">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> +<p><a id="X78684D057C432971" name="X78684D057C432971"></a></p> +<div class="ChapSects"><a href="chapC_mj.html#X78684D057C432971">C <span class="Heading">Overview of the <strong class="pkg">Modules</strong> Package Source Code</span></a> <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X87ED7A1883976BE9">C.1 <span class="Heading">Relations and Generators</span></a> </span> </div> @@ -34,7 +34,7 @@ <div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X7BDE961D858BC60E">C.3 <span class="Heading">The High Level Homological Algorithms</span></a> </span> </div> -<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X7EF0F9E47CCE826C">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> +<div class="ContSect"><span class="tocline"><span class="nocss"> </span><a href="chapC_mj.html#X7E8463067BB2F31E">C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></a> </span> </div> </div> @@ -228,7 +228,7 @@ </table><br /><p> </p><br /> </div> -<p><a id="X7EF0F9E47CCE826C" name="X7EF0F9E47CCE826C"></a></p> +<p><a id="X7E8463067BB2F31E" name="X7E8463067BB2F31E"></a></p> <h4>C.4 <span class="Heading">Logical Implications for <strong class="pkg">homalg</strong> Objects</span></h4> diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/chapInd_mj.html new/Modules-2017.09.10/doc/chapInd_mj.html --- old/Modules-2017.07.17/doc/chapInd_mj.html 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/chapInd_mj.html 2017-12-19 11:18:48.000000000 +0100 @@ -6,7 +6,7 @@ <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en"> <head> <script type="text/javascript" - src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> + src="http://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"> </script> <title>GAP (Modules) - Index</title> <meta http-equiv="content-type" content="text/html; charset=UTF-8" /> Binary files old/Modules-2017.07.17/doc/manual.pdf and new/Modules-2017.09.10/doc/manual.pdf differ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/doc/manual.six new/Modules-2017.09.10/doc/manual.six --- old/Modules-2017.07.17/doc/manual.six 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/doc/manual.six 2017-12-19 11:18:48.000000000 +0100 @@ -15,12 +15,12 @@ "\033[1X\033[33X\033[0;-2YWhat is the role of the \033[5XModules\033[105X\\ 033[101X\027\033[1X\027 package in the \033[5Xhomalg\033[105X\033[101X\027\033\ [1X\027 project?\033[133X\033[101X", "1.1", [ 1, 1, 0 ], 4, 6, - "what is the role of the modules\027\027 package in the homalg\027\027 p\ -roject?", "X83B9348878B98FCB" ], + "what is the role of the modules package in the homalg project?", + "X7932D55D786D645A" ], [ "\033[1X\033[33X\033[0;-2Y\033[5XModules\033[105X\033[101X\027\033[1X\027 p\ rovides ...\033[133X\033[101X", "1.1-1", [ 1, 1, 1 ], 7, 6, - "modules\027\027 provides ...", "X7A734C2E8709258F" ], + "modules provides ...", "X81F4D4C47828A818" ], [ "\033[1X\033[33X\033[0;-2YRings supported in a sufficient way\033[133X\033[\ 101X", "1.1-2", [ 1, 1, 2 ], 39, 6, "rings supported in a sufficient way", @@ -39,8 +39,8 @@ "\033[1X\033[33X\033[0;-2YDoes this mean that \033[5Xhomalg\033[105X\033[10\ 1X\027\033[1X\027 has only algorithms for the generic case?\033[133X\033[101X" , "1.1-6", [ 1, 1, 6 ], 103, 7, - "does this mean that homalg\027\027 has only algorithms for the generic \ -case?", "X7C9DE9DF7F37B4EB" ], + "does this mean that homalg has only algorithms for the generic case?", + "X85C5BCDF797B7954" ], [ "\033[1X\033[33X\033[0;-2YThe principle of least communication (technical)\\ 033[133X\033[101X", "1.1-7", [ 1, 1, 7 ], 116, 8, @@ -53,7 +53,7 @@ [ "\033[1X\033[33X\033[0;-2YInstallation of the \033[5XModules\033[105X\033[1\ 01X\027\033[1X\027 Package\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 10, - "installation of the modules\027\027 package", "X7BCE61137B4B7575" ], + "installation of the modules package", "X812F1BC77954DFD3" ], [ "\033[1X\033[33X\033[0;-2YQuick Start\033[133X\033[101X", "3", [ 3, 0, 0 ], 1, 11, "quick start", "X7EB860EC84DFC71E" ], [ @@ -61,11 +61,11 @@ 204\244 or \033[22X\342\204\244/m\342\204\244\033[122X\033[101X\027\033[1X\027\ ?\033[133X\033[101X", "3.1", [ 3, 1, 0 ], 7, 11, "why are all examples in this manual over a\204\244 or a\204\244/ma\204\ -\244\027\027?", "X863CD6AA80705231" ], +\244?", "X8527706586389E29" ], [ "\033[1X\033[33X\033[0;-2Y\033[10Xgap> ExamplesForHomalg();\033[110X\033[10\ 1X\027\033[1X\027\033[133X\033[101X", "3.2", [ 3, 2, 0 ], 24, 11, - "gap> examplesforhomalg \027\027", "X84B6C7078148720E" ], + "gap> examplesforhomalg", "X85872612814D30B4" ], [ "\033[1X\033[33X\033[0;-2YA typical example\033[133X\033[101X", "3.3", [ 3, 3, 0 ], 35, 11, "a typical example", "X7BBB3E988435A713" ], [ "\033[1X\033[33X\033[0;-2YHomHom\033[133X\033[101X", "3.3-1", @@ -238,25 +238,24 @@ [ "\033[1X\033[33X\033[0;-2YThe Mathematical Idea behind \033[5XModules\033[1\ 05X\033[101X\027\033[1X\027\033[133X\033[101X", "a", [ "A", 0, 0 ], 1, 74, - "the mathematical idea behind modules\027\027", "X78E86EA18602AC04" ], + "the mathematical idea behind modules", "X7DD2E4EB846C7E75" ], [ "\033[1X\033[33X\033[0;-2YLogic Subpackages\033[133X\033[101X", "b", [ "B", 0, 0 ], 1, 75, "logic subpackages", "X8222352C78A19214" ], [ "\033[1X\033[33X\033[0;-2Y\033[5XLIMOD\033[105X\033[101X\027\033[1X\027: Lo\ gical Implications for Modules\033[133X\033[101X", "b.1", [ "B", 1, 0 ], 4, - 75, "limod\027\027: logical implications for modules", - "X7CFB956F82FBF1FA" ], + 75, "limod: logical implications for modules", "X8462717983D4B197" ], [ "\033[1X\033[33X\033[0;-2Y\033[5XLIHOM\033[105X\033[101X\027\033[1X\027: Lo\ gical Implications for Homomorphisms of Modules\033[133X\033[101X", "b.2", [ "B", 2, 0 ], 7, 75, - "lihom\027\027: logical implications for homomorphisms of modules", - "X7CA14AB186D0A7E0" ], + "lihom: logical implications for homomorphisms of modules", + "X7A553EC57DD2E46E" ], [ "\033[1X\033[33X\033[0;-2YOverview of the \033[5XModules\033[105X\033[101X\\ 027\033[1X\027 Package Source Code\033[133X\033[101X", "c", [ "C", 0, 0 ], 1, - 76, "overview of the modules\027\027 package source code", - "X866669D781FBA4A4" ], + 76, "overview of the modules package source code", "X78684D057C432971" ] + , [ "\033[1X\033[33X\033[0;-2YRelations and Generators\033[133X\033[101X", "c.1", [ "C", 1, 0 ], 4, 76, "relations and generators", "X87ED7A1883976BE9" ], @@ -269,8 +268,7 @@ [ "\033[1X\033[33X\033[0;-2YLogical Implications for \033[5Xhomalg\033[105X\\ 033[101X\027\033[1X\027 Objects\033[133X\033[101X", "c.4", [ "C", 4, 0 ], 68, - 78, "logical implications for homalg\027\027 objects", - "X7EF0F9E47CCE826C" ], + 78, "logical implications for homalg objects", "X7E8463067BB2F31E" ], [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 79, "bibliography", "X7A6F98FD85F02BFE" ], [ "References", "bib", [ "Bib", 0, 0 ], 1, 79, "references", diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/gap/BasicFunctors.gi new/Modules-2017.09.10/gap/BasicFunctors.gi --- old/Modules-2017.07.17/gap/BasicFunctors.gi 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/gap/BasicFunctors.gi 2017-12-19 11:18:48.000000000 +0100 @@ -772,46 +772,23 @@ end ); -## -if IsOperation( TensorProduct ) then - - ## GAP 4.4 style - InstallValue( Functor_TensorProduct_for_fp_modules, - CreateHomalgFunctor( - [ "name", "TensorProduct" ], - [ "category", HOMALG_MODULES.category ], - [ "operation", "TensorProduct" ], - [ "number_of_arguments", 2 ], - [ "1", [ [ "covariant", "left adjoint", "distinguished" ] ] ], - [ "2", [ [ "covariant", "left adjoint" ] ] ], - [ "OnObjects", _Functor_TensorProduct_OnModules ], - [ "OnMorphisms", _Functor_TensorProduct_OnMaps ], - [ "MorphismConstructor", HOMALG_MODULES.category.MorphismConstructor ] - ) - ); - -else - - ## GAP 4.5 style - ## <#GAPDoc Label="Functor_TensorProduct:code"> - ## <Listing Type="Code"><![CDATA[ - InstallValue( Functor_TensorProduct_for_fp_modules, - CreateHomalgFunctor( - [ "name", "TensorProduct" ], - [ "category", HOMALG_MODULES.category ], - [ "operation", "TensorProductOp" ], - [ "number_of_arguments", 2 ], - [ "1", [ [ "covariant", "left adjoint", "distinguished" ] ] ], - [ "2", [ [ "covariant", "left adjoint" ] ] ], - [ "OnObjects", _Functor_TensorProduct_OnModules ], - [ "OnMorphisms", _Functor_TensorProduct_OnMaps ], - [ "MorphismConstructor", HOMALG_MODULES.category.MorphismConstructor ] - ) - ); - ## ]]></Listing> - ## <#/GAPDoc> - -fi; +## <#GAPDoc Label="Functor_TensorProduct:code"> +## <Listing Type="Code"><![CDATA[ +InstallValue( Functor_TensorProduct_for_fp_modules, + CreateHomalgFunctor( + [ "name", "TensorProduct" ], + [ "category", HOMALG_MODULES.category ], + [ "operation", "TensorProductOp" ], + [ "number_of_arguments", 2 ], + [ "1", [ [ "covariant", "left adjoint", "distinguished" ] ] ], + [ "2", [ [ "covariant", "left adjoint" ] ] ], + [ "OnObjects", _Functor_TensorProduct_OnModules ], + [ "OnMorphisms", _Functor_TensorProduct_OnMaps ], + [ "MorphismConstructor", HOMALG_MODULES.category.MorphismConstructor ] + ) + ); +## ]]></Listing> +## <#/GAPDoc> Functor_TensorProduct_for_fp_modules!.ContainerForWeakPointersOnComputedBasicObjects := true; diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/Modules-2017.07.17/makefile new/Modules-2017.09.10/makefile --- old/Modules-2017.07.17/makefile 2017-08-29 14:52:33.000000000 +0200 +++ new/Modules-2017.09.10/makefile 2017-12-19 11:18:48.000000000 +0100 @@ -1,12 +1,16 @@ all: doc test -doc: - gap makedoc.g +doc: doc/manual.six + +doc/manual.six: makedoc.g \ + PackageInfo.g \ + gap/*.gd gap/*.gi examples/*.g examples/doc/*.g + gap makedoc.g docclean: (cd doc ; ./clean) test: doc - gap -b maketest.g + gap maketest.g .PHONY: all doc docclean test