Path: csiph.com!aioe.org!.POSTED!not-for-mail
From: Daniel Bastos <dbastos@toledo.com>
Newsgroups: comp.programming,alt.algebra.help
Subject: Re: on cut edges and bonds, graph theory
Date: Thu, 21 Sep 2017 17:52:16 -0300
Organization: Aioe.org NNTP Server
Lines: 25
Message-ID: <86shffdbb3.fsf@toledo.com>
References: <86wp4w3sz5.fsf@toledo.com> <87shfjpzgs.fsf@bsb.me.uk> <86lgla3369.fsf@toledo.com> <87a81p723q.fsf@bsb.me.uk> <86y3p7dfju.fsf@toledo.com>
NNTP-Posting-Host: +EftqNJlh2Q68VSRBVDe4Q.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain
X-Complaints-To: abuse@aioe.org
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (windows-nt)
Cancel-Lock: sha1:zIqufVO7BSqzBFcSI9wJuz2q02o=
X-Notice: Filtered by postfilter v. 0.8.2
Xref: csiph.com comp.programming:8024 alt.algebra.help:5012

Daniel Bastos <dbastos@toledo.com> writes:

[...]

> Here's an example.
>
> Definition.  We call special the function f:Q-->Z such that 
>
>    f(p/q) = p + q, 
>
> where p/q satisfies gcd(p,q) = 1.
>
> This definition implicitly claims f exists, but it doesn't.  So there's
> no such special function.

Sorry.  This function does exist.  The one that doesn't is the one
without the requirement gcd(p,q) = 1.

Definition.  We call special the function f:Q-->Z such that 

   f(p/q) = p + q, 

where p,q are integers.

[...]