(* ::Package:: *)

(************************************************************************)
(* This file was generated automatically by the Mathematica front end.  *)
(* It contains Initialization cells from a Notebook file, which         *)
(* typically will have the same name as this file except ending in      *)
(* ".nb" instead of ".m".                                               *)
(*                                                                      *)
(* This file is intended to be loaded into the Mathematica kernel using *)
(* the package loading commands Get or Needs.  Doing so is equivalent   *)
(* to using the Evaluate Initialization Cells menu command in the front *)
(* end.                                                                 *)
(*                                                                      *)
(* DO NOT EDIT THIS FILE.  This entire file is regenerated              *)
(* automatically each time the parent Notebook file is saved in the     *)
(* Mathematica front end.  Any changes you make to this file will be    *)
(* overwritten.                                                         *)
(************************************************************************)



(* ::Input::Initialization:: *)
SetDirectory["C:\\drorbn\\AcademicPensieve\\2023-03"];
Once[<< KnotTheory`]


(* ::Input::Initialization:: *)
ConcaveQ[s_List]:=And@@Thread[2s[[2;;-2]]>=s[[1;;-3]]+s[[3;;-1]]];


(* ::Input::Initialization:: *)
AlexanderLogConcaveQ[K_]:=Module[{alex,T,cs},
alex=Alexander[K][-T];
cs=CoefficientList[Sign[alex/.T->1]T^Exponent[alex,T] alex,T];
If[Not[And@@(Positive/@cs)],Return@False];
If[Length[cs]<3, Return@True];
ConcaveQ[Log@cs]
]



