llee454-incident-geometry

lp:~llee454/llee454-incident-geometry/master

Created by Larry D. Lee jr. on 2018-08-13 and last modified on 2018-08-21

Get this branch:: bzr branch lp:~llee454/llee454-incident-geometry/master

Only Larry D. Lee jr. can upload to this branch. If you are Larry D. Lee jr. please log in for upload directions.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Larry D. Lee jr.

Project:: llee454-incident-geometry

Status:: Development

Recent revisions

55. By Larry D. Lee jr. on 2018-08-21: Drafted the list cut function.
54. By Larry D. Lee jr. on 2018-08-10: Sketched out a way forward to sharpen the point_set_list_remove function.
53. By Larry D. Lee jr. on 2018-08-09: Defined sublists and proved point_list_sublist_subset.
52. By Larry D. Lee jr. on 2018-08-09: finished renaming point list functions and theorems.
51. By Larry D. Lee jr. on 2018-08-09: Renamed multiple results to introduce a consistent and hopefully clearer naming convention.
50. By Larry D. Lee jr. on 2018-08-08: Proved that distinct_point_list_remove returns a sublist and attempted to prove that the resulting list is distinct.
49. By Larry D. Lee jr. on 2018-08-08: Proved that point_list_remove reduces lengths by one.
48. By Larry D. Lee jr. on 2018-08-07: Proved tem0
47. By Larry D. Lee jr. on 2018-08-05: Drafted a restricted proof for distinct_point_list_remove.
46. By Larry D. Lee jr. on 2018-07-11: [Unstable] branching to sketch distinct_point_list_remove.

»

Branch metadata

Branch format:: Branch format 7

Repository format:: Bazaar repository format 2a (needs bzr 1.16 or later)

This branch contains Public information

Everyone can see this information.

Subscribers

Larry D. Lee jr.