forefathers -- returns the forefathers of a digrah

Synopsis

• Usage:
L = forefathers (D, v)
• Inputs:
• D, an instance of the type Digraph,
• v, , v must be a vertex of D
• Outputs:
• L, a set, a set of all the forefathers of v in D

Description

The forefathers of a vertex v in a digraph D are all the vertexSet u in D such that v is reachable from u. Another way to more intuitively see what the forefathers are is to see the forefathers of a vertex v can be found by first taking the parents of v. Then if you find the parents of each of the parents of v, and continue the process until the list stops growing, this will form all the descandants of v.

 i1 : D = digraph({a,b,c,d,e},{{a,b},{b,c},{b,d},{e,b}}); i2 : forefathers (D, d) o2 = set {a, b, d, e} o2 : Set

Caveat

The forefathers of a vertex in a digraph are more commonly known as the ancestors. But ancestors is an entirely different function in Macaulay 2, so forefathers is the convention we will use

See also

• isReachable -- checks if a vertex u is reachable from a vertex v
• parents -- returns the parents of a vertex on a digraph

Ways to use forefathers :

• "forefathers(Digraph,Thing)"

For the programmer

The object forefathers is .